Termination of permutative conversions in intuitionistic Gentzen calculi
scientific article; zbMATH DE number 1238995