@misc{indiciae6e057e6341a4,
  title = {Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility},
  author = {Anthony W. Lin and Rupak Majumdar},
  year = {2021},
  doi = {10.46298/lmcs-17(4:4)2021},
  url = {https://arxiv.org/abs/2007.15478},
  note = {Source identifier: 2007.15478}
}