Paliulionienė, L. Logical Derivation and Integrating Legal Knowledge Bases: Basic Algorithms . LMR 1998, 38 (II), 199–205 . https://doi.org/10.15388/LMD.1998.37816.