Paliulionienė, Laima. „Loginis išvedimas ir teisinių žinių bazių integravimas: pagrindiniai algoritmai“. Lietuvos matematikos rinkinys, t. 38, nr. II, 1998 m.gruodžio, p. 199–205 , https://doi.org/10.15388/LMD.1998.37816.