On polynomial Size Frege Proofs of Certain Combinatorial Principles (1993)

by P Clote
Venue:Arithmetic, Proof Theory, and Computational Complexity