Aless Lasaruk, Thomas Sturm. Effective Quantifier Elimination for Presburger Arithmetic with Infinity. In Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings. Volume 5743 of Lecture Notes in Computer Science, pages 195-212, Springer, 2009. [doi]
Abstract is missing.