Modular termination of prefix-constrained term rewrite systems
scientific article; zbMATH DE number 7444821