TY  - RPRT
TI  - A new method for proving confluence on abstract reduction systems --- Confluence of non-E-overlapping weakly-shallow TRSs ---
AU  - Masahiko Sakai
AU  - Mizuhito Ogawa
AU  - Michio Oyamaguchi
PY  - 2026
UR  - https://arxiv.org/abs/2610.09572
ID  - 2610.09572
ER  -