Sinkevičiūtė, Sigita. “Towards Checking Consistency and Completeness of Legal Knowledge Bases ”. Lietuvos Matematikos Rinkinys, vol. 38, no. II, Dec. 1998, pp. 206–211 , https://doi.org/10.15388/LMD.1998.37817.