Propositional Representations of Arithmetic Proofs (1979)

by Martin Dowd