Proving Theorems about LISP Functions.

Robert S. Boyer, J Strother Moore

Browse the full IJCAI paper archive.