This paper shows that weakly-non-overlapping, non-collapsing and shallow term rewriting systems are confluent, which is a new sufficient condition on confluence for non-left-linear systems.
['Masahiko Sakai', 'Mizuhito Ogawa']
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent