Paliulionienė, L. (1998). Loginis išvedimas ir teisinių žinių bazių integravimas: pagrindiniai algoritmai. Lietuvos Matematikos Rinkinys, 38(II), 199–205 . https://doi.org/10.15388/LMD.1998.37816