An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent. - Paliath Narendran; Saumya Arora; Yu Zhang (UNIF, 2020)