The complexity of propositional proofs (1995)

by A Urquhart
Venue:Bulletin of Symbolic Logic