Non-Horn clause logic programming without contrapositives (1988)

by David A Plaisted
Venue:Journal of Automated Reasoning