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

Roddy W. Erickson, David R. Musser (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics