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