Loginis išvedimas ir teisinių žinių bazių integravimas: pagrindiniai algoritmai - Paliulionienė, Laima (Lietuvos matematikos rinkinys, 1998)
Santraukos nėra.