Gray, R. D., and A. Malheiro. "Finite complete rewriting systems for regular semigroups." Theor. Comput. Sci.. 412 (2011): 654-661.