cek and P. Pudl ak, Propositional proof systems, the consistency of first-order theories and the complexity of computations (1989)

by J Kraj
Venue:Journal of Symbolic Logic