A lemma driven automatic theorem prover for recursive function theory (1977)

by R S Boyer, J S Moore
Venue:In Proceedings of the Fifth International Joint Conference on Artificial Intelligence