TY  - RPRT
TI  - Undecidability of Confluence for Binary Length-Reducing Cycle Rewriting
AU  - Graham Campbell
PY  - 2026
UR  - https://arxiv.org/abs/2608.18859
ID  - 2608.18859
ER  -