Vesa Halava. Deterministic Semi-Thue Systems and Variants of Post Correspondence Problem. In Juhani Karhumäki, Arto Lepistö, Luca Q. Zamboni, editors, Combinatorics on Words - 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings. Volume 8079 of Lecture Notes in Computer Science, pages 4-13, Springer, 2013. [doi]
Abstract is missing.