Lower bounds for increasing complexity of derivations after cut elimination
scientific article; zbMATH DE number 3773586