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

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