Jiirg Hudelmaier

Bounds for cut elimination in intuitionistic propositional logic

Jiirg Hudelmaier, J. Hudelmaier, 1992, Arch. Math. Log..