Conditions for confluence of innermost terminating term rewriting systems. - Sayaka Ishizuki; Michio Oyamaguchi; Masahiko Sakai (Appl. Algebra Eng. Commun. Comput., 2019)