Short Proofs of Tautologies Using the Schema of Equivalence.

Matthias Baaz, Richard Zach

Browse the full CSL paper archive.