@inproceedings{CH17,
  title = "On the Complexity of Quantified Integer Programming",
  author = "Dmitry Chistikov and Christoph Haase",
  year = "2017",
  booktitle = "Automata, Languages, and Programming, {ICALP}",
  pages = "94:1--94:13",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "LIPIcs",
  volume = "80",
  doi = "10.4230/LIPIcs.ICALP.2017.94",
}