Malheiro, A. "Complete rewriting systems for codified submonoids." Int. J. Algebra Comput.. 15 (2005): 207-216.