The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete Paliath Narendran Friedrich Otto Karl Winklmann 58-66 Information and Control October/November 1984 63 1/2 db/journals/iandc/iandc63.html#NarendranOW84