Decidability for left-linear growing term rewriting systems.
scientific article; zbMATH DE number 1964176