@misc{indiciae2e14a346c05a,
  title = {Bounding quantification in parametric expansions of Presburger arithmetic},
  author = {John Goodrick},
  year = {2017},
  url = {https://arxiv.org/abs/1604.06166},
  note = {Source identifier: 1604.06166}
}