It is undecidable whether a finite special string-rewriting system presents a group

Paliath Narendran, Colm Ó Dúnlaing, Friedrich Otto. It is undecidable whether a finite special string-rewriting system presents a group. Discrete Mathematics, 98(2):153-159, 1991. [doi]

@article{NarendranOO91,
  title = {It is undecidable whether a finite special string-rewriting system presents a group},
  author = {Paliath Narendran and Colm Ó Dúnlaing and Friedrich Otto},
  year = {1991},
  doi = {10.1016/0012-365X(91)90040-9},
  url = {http://dx.doi.org/10.1016/0012-365X(91)90040-9},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/NarendranOO91},
  cites = {0},
  citedby = {0},
  journal = {Discrete Mathematics},
  volume = {98},
  number = {2},
  pages = {153-159},
}