Transfinite reductions in orthogonal term rewriting systems
scientific article; zbMATH DE number 772328