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 25, 2026. https://zurnalai.vu.lt/LMR/article/view/37816.