Sinkevičiūtė, S. Towards Checking Consistency and Completeness of Legal Knowledge Bases . LMR 1998, 38 (II), 206–211 . https://doi.org/10.15388/LMD.1998.37817.