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