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 lapkričio 6, 2025. https://www.zurnalai.vu.lt/LMR/article/view/37816.