@inproceedings{Haa14,
  title = "Subclasses of {P}resburger arithmetic and the weak {EXP} hierarchy",
  author = "Christoph Haase",
  year = "2014",
  booktitle = "Computer Science Logic and Logic in Computer Science, {CSL-LICS}",
  pages = "47:1--47:10",
  publisher = "ACM",
  doi = "10.1145/2603088.2603092",
}