A class of semigroups with a decidable word problem
scientific article; zbMATH DE number 3625653