Propositional representation of arithmetic proofs (1979)

by M Dowd
Venue:in Proceedings of the 10th ACM Symposium on Theory of Computing