i cek, Lower bounds to the size of constant-depth propositional proofs (0)

by J Kraj'
Venue:Journal of Symbolic Logic