Paliulionienė, L. (1998) “Logical derivation and integrating legal knowledge bases: basic algorithms ”, Lietuvos matematikos rinkinys, 38(II), pp. 199–205 . doi:10.15388/LMD.1998.37816.