Presburger Modal Logic Is PSPACE-Complete.

Stphane Demri, Denis Lugiez

Browse the full CADE paper archive.