Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent

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.