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.