From the subformula property to cut-admissibility in propositional sequent calculi
scientific article; zbMATH DE number 7009558