Proving termination of context-sensitive rewriting by transformation
scientific article; zbMATH DE number 5117648