Klaus Madlener Paliath Narendran Friedrich Otto Louxin Zhang On Weakly Confluent Monadic String-Rewriting Systems. 119-165 1993 113 Theor. Comput. Sci. 1 db/journals/tcs/tcs113.html#MadlenerNOZ93