Computing Facts in Non-Horn Deductive Systems.

Eliezer L. Lozinskii

Browse the full VLDB paper archive.