Maximum segments as natural deduction images of some cuts
scientific article; zbMATH DE number 7603238