TY  - RPRT
TI  - Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy
AU  - Christoph Haase
PY  - 2014
DO  - 10.1145/2603088.2603092
UR  - https://arxiv.org/abs/1401.5266
ID  - 1401.5266
ER  -