Non-Horn Clause Logic Programming Without Contrapositives (1988)

by D Plaisted
Venue:Journal of Automated Reasoning