The complexity of propositional proofs (0)

by N Segerlind
Venue:Bulletin of Symbolic Logic