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

Cite this paper

@inproceedings{Erickson1980TheAT, title={The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs}, author={Roddy W. Erickson and David R. Musser}, booktitle={CADE}, year={1980} }