"Propositional Representation of Arithmetic Proofs (Preliminary Version)"

Martin Dowd (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics