1. Polina Strogova, Finding a finite group presentation using rewriting, Symbolic Rewriting Techniques (Ascona, 1995), Progr. Comput. Sci. Appl. Logic, vol. 15, Birkhäuser, Basel, 1998, pp. 267–276.[MR]