An Equational Approach to Theorem Proving in First-Order Predicate Calculus.

Deepak Kapur, Paliath Narendran

Browse the full IJCAI paper archive.