On the modularity of termination of term rewriting systems
scientific article; zbMATH DE number 983735
scientific article