Overview of a Theorem-Prover for A Computational Logic.

Robert S. Boyer, J Strother Moore

Browse the full CADE paper archive.