Proving theorems about LISP functions. (1975)

by R S Boyer, J S Moore
Venue:J. ACM,