Paliulionienė, Laima. “Logical Derivation and Integrating Legal Knowledge Bases: Basic Algorithms ”. Lietuvos matematikos rinkinys 38, no. II (December 14, 1998): 199–205 . Accessed April 14, 2025. https://www.journals.vu.lt/LMR/article/view/37816.