@misc{indiciaea012cdd0e803,
  title = {A new method for proving confluence on abstract reduction systems --- Confluence of non-E-overlapping weakly-shallow TRSs ---},
  author = {Masahiko Sakai and Mizuhito Ogawa and Michio Oyamaguchi},
  year = {2026},
  url = {https://arxiv.org/abs/2610.09572},
  note = {Source identifier: 2610.09572}
}