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.