1. J. L. Leavitt, G. J. Sherman, and M. E. Walker, Rewriteability in finite groups, Amer. Math. Monthly 99 (1992), no. 5, 446–452.[MR]