Lower bounds to the size of constant-depth propositional proofs (1994)

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