An equational approach to theorem proving in first-order predicate calculus (0)

by D Kapur, P Narendran
Venue:Proc. 9 Int. Joint Conf. on Artificial Intelligence (IJCAI’85