Jan Krajícek Lower Bounds to the Size of Constant-Depth Propositional Proofs. 73-86 1994 59 J. Symb. Log. 1 db/journals/jsyml/jsyml59.html#Krajicek94