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 gruodžio 5, 2025. https://www.journals.vu.lt/LMR/article/view/37816.