Paliulionienė, Laima. 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.