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