Finite derivation type for semilattices of semigroups.
scientific article; zbMATH DE number 6066648