@misc{indiciae130edf3f0b99,
  title = {Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination},
  author = {Tristram Bogart and John Goodrick and Danny Nguyen and Kevin Woods},
  year = {2018},
  url = {https://arxiv.org/abs/1802.00974},
  note = {Source identifier: 1802.00974}
}