Proving Theorems about LISP Functions

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

No reviews for this publication, yet.