Yiyun Chen Michael J. O'Donnell Testing Confluence of Nonterminating Rewriting Systems. 127-136 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#ChenO90a