Bounds to the Size of Constant-depth Propositional Proofs (1994)

by J Lower Krajíček
Venue:Journal of Symbolic Logic