TY  - RPRT
TI  - The termination of Nielsen transformations applied to word equations with length constraints
AU  - Benjamin Przybocki
AU  - Clark Barrett
PY  - 2025
UR  - https://arxiv.org/abs/2501.11789
ID  - 2501.11789
ER  -