Sinkevičiūtė, Sigita. “Towards Checking Consistency and Completeness of Legal Knowledge Bases ”. Lietuvos matematikos rinkinys 38, no. II (December 14, 1998): 206–211 . Accessed April 19, 2025. https://journals.vu.lt./LMR/article/view/37817.