Paliath Narendran Robert McNaughton The Undecidability of the Preperfectness of Thue Systems. 165-174 1984 31 Theor. Comput. Sci. db/journals/tcs/tcs31.html#NarendranM84