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