On Deciding Confluence of Finite String-Rewriting Systems Modulo Partial Commutativity.

Friedrich Otto On Deciding Confluence of Finite String-Rewriting Systems Modulo Partial Commutativity. 19-35 1989 67 Theor. Comput. Sci. 1 db/journals/tcs/tcs67.html#Otto89