Non-Horn Clause Logic Programming Without Contrapositives.

David A. Plaisted Non-Horn Clause Logic Programming Without Contrapositives. 287-325 1988 4 J. Autom. Reasoning 3 db/journals/jar/jar4.html#Plaisted88