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

by B S Beyer, J S Moore
Venue:Proceedings of the Uh International Joint Conference on Artificial Intelligence