An O(|T|3) Algorithm for Testing the Church-Rosser Property of Thue Systems.

Deepak Kapur Mukkai S. Krishnamoorthy Robert McNaughton Paliath Narendran An O(|T|3) Algorithm for Testing the Church-Rosser Property of Thue Systems. 109-114 1985 35 Theor. Comput. Sci. db/journals/tcs/tcs35.html#KapurKMN85