The Affirm theorem prover: Proof forests and management of large proofs (1980)

by R Erickson, D Musser
Venue:5th conference on automated deduction, volume 87 of Lecture Notes in Computer Science