The Complexity of Presburger Arithmetic with Power or Powers.

Michael Benedikt, Dmitry Chistikov, Alessio Mansutti

Browse the full ICALP paper archive.