Stéphane Demri Denis Lugiez Presburger Modal Logic Is PSPACE-Complete. 541-556 2006 conf/cade/2006 IJCAR https://doi.org/10.1007/11814771_44 db/conf/cade/ijcar2006.html#DemriL06