Cut-elimination and quantification in canonical systems
scientific article; zbMATH DE number 5013041