Sinkevičiūtė, Sigita. 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.