The Computational Complexity of Presburger Arithmetic. - Danh Nguyen Luu (2018)