Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases. - Li Guo 003; William Y. Sit; Xing Gao 006; Shanghua Zheng (ACM Commun. Comput. Algebra, 2015)