Bounds on cut-elimination in intuitionistic propositional logic (1992)

by J Hudelmaier
Venue:Archive for Mathematical Logic