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]

Abstract

Abstract is missing.