## Sergei G. Vorobyov

*The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable*

RTA, 1997.

@inproceedings{RTA-1997-Vorobyov, author = "Sergei G. Vorobyov", booktitle = "{Proceedings of the Eighth International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-62950-5_76", editor = "Hubert Comon", isbn = "3-540-62950-5", pages = "254--268", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable}", volume = 1232, year = 1997, }