A Complete Semantic Back Chaining Proof System.

Xumin Nie, David A. Plaisted

Browse the full CADE paper archive.