Sinkevičiūtė, S. 1998. Towards checking consistency and completeness of legal knowledge bases . Lietuvos matematikos rinkinys. 38, II (Dec. 1998), 206–211 . DOI:https://doi.org/10.15388/LMD.1998.37817.