Deepak Kapur Paliath Narendran Mukkai S. Krishnamoorthy Robert McNaughton The Church-Rosser Property and Special Thue Systems. 123-133 1985 39 Theor. Comput. Sci. db/journals/tcs/tcs39.html#KapurNKM85