"Computing Facts in Non-Horn Deductive Systems."

Eliezer L. Lozinskii (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics