Towards an algorithmic construction of cut-elimination procedures
scientific article; zbMATH DE number 5262035