Homotopy bases and finite derivation type for subgroups of monoids.
scientific article; zbMATH DE number 6335819
scientific article