Cut elimination for entailment relations
scientific article; zbMATH DE number 7077052