@inproceedings{Haase-csllics14,
    Address = {Vienna, Austria},
    Author = {Haase, Christoph},
    BookTitle = {{P}roceedings of the Joint Meeting of the 23rd {EACSL} {A}nnual {C}onference on {C}omputer {S}cience {L}ogic and the 29th {A}nnual {ACM\slash IEEE} {S}ymposium on {L}ogic {I}n {C}omputer {S}cience ({CSL\slash LICS}'14)},
    Chapter = {47},
    File = {Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy - Haase (0) (0) - a - a - u.pdf},
    Month = {July},
    Publisher = {ACM Press},
    Title = {Subclasses of {P}resburger Arithmetic and the Weak {EXP} Hierarchy},
    URL = {http://arxiv.org/abs/1401.5266},
    Year = {2014},
    bdsk-url-1 = {http://arxiv.org/abs/1401.5266},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2603088.2603092},
    date-added = {2014-10-06 15:18:04 +0000},
    date-modified = {2014-10-06 15:18:04 +0000},
    doi = {10.1145/2603088.2603092}
}

@inproceedings{Haase-csllics14, Address = {Vienna, Austria}, Author = {Haase, Christoph}, BookTitle = {{P}roceedings of the Joint Meeting of the 23rd {EACSL} {A}nnual {C}onference on {C}omputer {S}cience {L}ogic and the 29th {A}nnual {ACM\slash IEEE} {S}ymposium on {L}ogic {I}n {C}omputer {S}cience ({CSL\slash LICS}'14)}, Chapter = {47}, File = {Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy - Haase (0) (0) - a - a - u.pdf}, Month = {July}, Publisher = {ACM Press}, Title = {Subclasses of {P}resburger Arithmetic and the Weak {EXP} Hierarchy}, URL = {http://arxiv.org/abs/1401.5266}, Year = {2014}, bdsk-url-1 = {http://arxiv.org/abs/1401.5266}, bdsk-url-2 = {http://dx.doi.org/10.1145/2603088.2603092}, date-added = {2014-10-06 15:18:04 +0000}, date-modified = {2014-10-06 15:18:04 +0000}, doi = {10.1145/2603088.2603092} }