Bounded arithmetic and propositional proof complexity (1995)

by S R Buss
Venue:in Logic of Computation