1. Mechanizing structural induction;Aubin,1976
2. Mechanizing structural induction, part II: Strategies;Aubin;Theoret. Comput. Sci.,1979
3. A lemma driven automatic theorem prover for recursive function theory;Boyer;Proc. 5th International Joint Conference on Artificial Intelligence,1977
4. Proving theorems about LISP functions;Boyer;J.ACM,1975
5. Embedding heuristic problem solving methods in a mechanical theorem prover;Brotz,1974