Bounds for cut elimination in intuitionistic propositional logic - Hudelmaier, Jörg (1989)