Géraud Sénizergues. Some Undecidable Termination Problems for Semi-Thue Systems. Theoretical Computer Science, 142(2):257-276, 1995. [doi]
@article{Senizergues95:0, title = {Some Undecidable Termination Problems for Semi-Thue Systems}, author = {Géraud Sénizergues}, year = {1995}, doi = {10.1016/0304-3975(94)00278-9}, url = {http://dx.doi.org/10.1016/0304-3975(94)00278-9}, tags = {termination}, researchr = {https://researchr.org/publication/Senizergues95%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {142}, number = {2}, pages = {257-276}, }