@misc{indiciaed87f273ca0c2,
  title = {Short Presburger arithmetic is hard},
  author = {Danny Nguyen and Igor Pak},
  year = {2017},
  url = {https://arxiv.org/abs/1708.08179},
  note = {Source identifier: 1708.08179}
}