An Equational Approach to Theorem Proving in First-Order Predicate Calculus (1985)

by D Kapur, P Narendran
Venue:In: Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85