The complexity of propositional proofs (1995)

by Alasdair Urquhart
Venue:Bulletin of Symbolic Logic