Sinkevičiūtė, S. (1998) “Towards checking consistency and completeness of legal knowledge bases ”, Lietuvos matematikos rinkinys, 38(II), pp. 206–211 . doi:10.15388/LMD.1998.37817.