Non-horn clause programming without contrapositives (1988)

by D A Plaisted
Venue:Journal of Automated Reasoning