Sinkevičiūtė, S. (1998) „Teisinių žinių bazių suderinamumo ir išsamumo tikrinimas“, Lietuvos matematikos rinkinys, 38(II), p. 206–211 . doi:10.15388/LMD.1998.37817.