The complexity of Presburger arithmetic with power or powers | Publicación