Which structural rules admit cut elimination? An algebraic criterion
scientific article; zbMATH DE number 5201538