Paliulionienė, Laima. 1998. “Logical Derivation and Integrating Legal Knowledge Bases: Basic Algorithms ”.
Lietuvos Matematikos Rinkinys
38 (II): 199–205 .
https://doi.org/10.15388/LMD.1998.37816
.