Paliulionienė, Laima. „Loginis išvedimas ir teisinių žinių bazių integravimas: pagrindiniai algoritmai“. Lietuvos matematikos rinkinys 38, no. II (gruodžio 14, 1998): 199–205 . žiūrėta rugpjūčio 28, 2026. https://journals.vu.lt/LMR/article/view/37816.