Propositional proof systems, the consistency of first order theories and the complexity of computations (1989)

by J Kraj́ıček, P Pudlák
Venue:The Journal of Symbolic Logic