Journal of the ACM Bibliography

Robert S. Boyer and J Strother Moore. Proving theorems about LISP functions. Journal of the ACM, 22(1):129-144, January 1975. [BibTeX entry]

Additional Key Words and Phrases: LISP, automatic theorem-proving, structural induction, program verification