Modularity in term rewriting revisited
scientific article; zbMATH DE number 6122463
scientific article