SINKEVIČIŪTĖ, Sigita. Towards checking consistency and completeness of legal knowledge bases . Lietuvos matematikos rinkinys, [S. l.], v. 38, n. II, p. 206–211 , 1998. DOI: 10.15388/LMD.1998.37817. Disponível em: https://journals.vu.lt./LMR/article/view/37817. Acesso em: 19 apr. 2025.