Proving Theorems about LISP Functions

Robert S. Boyer, J. Strother Moore. Proving Theorems about LISP Functions. In IJCAI. pages 486-493, 1973.

Abstract

Abstract is missing.