L. Paliulionienė, „Loginis išvedimas ir teisinių žinių bazių integravimas: pagrindiniai algoritmai“, LMR, t. 38, nr. II, p. 199–205 , gruodž. 1998, doi: 10.15388/LMD.1998.37816.