Presburger modal logic is only PSPACE-complete (2006)

by S Demri, D Lugiez
Venue:In Automated Reasoning, IJCAR 06