Bounded Arithmetic and Propositional Proof Complexity (1997)

by Samuel R Buss
Venue:In Logic of Computation