Modularity of simple termination of term rewriting systems with shared constructors
scientific article; zbMATH DE number 94461
scientific article