Gray, R. D., and A. Malheiro. "Homotopy bases and finite derivation type for subgroups of monoids." J. Algebra. 410 (2014): 53-84.