S. Sinkevičiūtė, “Towards checking consistency and completeness of legal knowledge bases ”, LMR, vol. 38, no. II, pp. 206–211 , Dec. 1998, doi: 10.15388/LMD.1998.37817.