A Theorem Prover for a Computational Logic.

Robert S. Boyer, J Strother Moore

Browse the full CADE paper archive.