@misc{indiciaecb32871dfe04,
  title = {On Solving String Equations via Powers and Parikh Images},
  author = {Clemens Eisenhofer and Theodor Seiser and Nikolaj S. Bjørner and Laura Kovács},
  year = {2026},
  doi = {10.1007/978-3-032-06085-3\_5},
  url = {https://arxiv.org/abs/2603.05273},
  note = {Source identifier: 2603.05273}
}