@inproceedings{Demri:2006:PML:2136107.2136163,
    Address = {Berlin, Heidelberg},
    Author = {Demri, St{\'e}phane and Lugiez, Denis},
    BookTitle = {Proceedings of the Third International Joint Conference on Automated Reasoning},
    File = {Presburger Modal Logic is PSPACE-Complete - Demri, Lugiez (0) (0) - a - a - l.pdf},
    ISBN = {3-540-37187-7, 978-3-540-37187-8},
    Location = {Seattle, WA},
    Pages = {541--556},
    Publisher = {Springer-Verlag},
    Series = {IJCAR'06},
    Title = {Presburger Modal Logic is PSPACE-Complete},
    URL = {http://dx.doi.org/10.1007/11814771\_44},
    Year = {2006},
    acmid = {2136163},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11814771\_44},
    date-added = {2013-11-28 16:13:33 +0000},
    date-modified = {2013-11-28 16:13:33 +0000},
    numpages = {16},
    doi = {10.1007/11814771_44}
}

@inproceedings{Demri:2006:PML:2136107.2136163, Address = {Berlin, Heidelberg}, Author = {Demri, St{\'e}phane and Lugiez, Denis}, BookTitle = {Proceedings of the Third International Joint Conference on Automated Reasoning}, File = {Presburger Modal Logic is PSPACE-Complete - Demri, Lugiez (0) (0) - a - a - l.pdf}, ISBN = {3-540-37187-7, 978-3-540-37187-8}, Location = {Seattle, WA}, Pages = {541--556}, Publisher = {Springer-Verlag}, Series = {IJCAR'06}, Title = {Presburger Modal Logic is PSPACE-Complete}, URL = {http://dx.doi.org/10.1007/11814771_44}, Year = {2006}, acmid = {2136163}, bdsk-url-1 = {http://dx.doi.org/10.1007/11814771_44}, date-added = {2013-11-28 16:13:33 +0000}, date-modified = {2013-11-28 16:13:33 +0000}, numpages = {16}, doi = {10.1007/11814771_44} }