@misc{indiciaec496300dc8a0,
  title = {Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility},
  author = {Anthony W. Lin and Rupak Majumdar},
  year = {2018},
  url = {https://arxiv.org/abs/1805.06701},
  note = {Source identifier: 1805.06701}
}