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

by D Kapur, P Narendran
Venue:Proceedings of the Ninth International Joint Conference on Arti Intelligence