@article{oai:nagoya.repo.nii.ac.jp:00019074, author = {Sakai, Masahiko and Ogawa, Mizuhito}, issue = {18–19}, journal = {Information Processing Letters}, month = {Sep}, note = {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.}, pages = {810--814}, title = {Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent}, volume = {110}, year = {2010} }