Sándor Vágvölgyi, Rémi Gilleron. For a rewrite system it is decidable whether the set of irreducible, ground terms is regognizable. Bulletin of the EATCS, 48:197-209, 1992.
@article{VagvolgyiG92, title = {For a rewrite system it is decidable whether the set of irreducible, ground terms is regognizable}, author = {Sándor Vágvölgyi and Rémi Gilleron}, year = {1992}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/VagvolgyiG92}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {48}, pages = {197-209}, }