L. Paliulionienė, “Logical derivation and integrating legal knowledge bases: basic algorithms ”, LMR, vol. 38, no. II, pp. 199–205 , Dec. 1998, doi: 10.15388/LMD.1998.37816.