@misc{indiciae899a7ae37916,
  title = {The termination of Nielsen transformations applied to word equations with length constraints},
  author = {Benjamin Przybocki and Clark Barrett},
  year = {2025},
  url = {https://arxiv.org/abs/2501.11789},
  note = {Source identifier: 2501.11789}
}