Propositional Representation of Arithmetic Proofs (Preliminary Version)

Martin Dowd

Browse the full STOC paper archive.