Presburger modal logic is only PSPACE-complete (0)

by S Demri, D Lugiez
Venue:Automated Reasoning, IJCAR 06, Lect. Notes Artificial Intelligence 4130 (2006