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