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.journals.vu.lt/LMR/article/view/37816. Acesso em: 5 gruodž. 2025.