The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.

Roddy W. Erickson, David R. Musser

Browse the full CADE paper archive.