The complexity of propositional proofs (2007)

by Nathan Segerlind
Venue:Bulletin of Symbolic Logic