Proof Generation in the Touchstone Theorem Prover.

George C. Necula, Peter Lee

Browse the full CADE paper archive.