A Lemma Driven Automatic Theorem Prover for Recursive Function Theory.

Robert S. Boyer, J Strother Moore

Browse the full IJCAI paper archive.