The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups

@article{Epstein1991TheUO,
  title={The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups},
  author={David B. A. Epstein and Derek F. Holt and Sarah Rees},
  journal={J. Symb. Comput.},
  year={1991},
  volume={12},
  pages={397-414}
}