PALIULIONIENĖ, Laima. Loginis išvedimas ir teisinių žinių bazių integravimas: pagrindiniai algoritmai. Lietuvos matematikos rinkinys, [S. l.], v. 38, n. II, p. 199–205 , 1998. DOI: 10.15388/LMD.1998.37816. Disponível em: https://www.zurnalai.vu.lt/LMR/article/view/37816. Acesso em: 7 lapkr. 2025.