Aless Lasaruk, Thomas Sturm. Weak Integer Quantifier Elimination Beyond the Linear Case. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings. Volume 4770 of Lecture Notes in Computer Science, pages 275-294, Springer, 2007. [doi]
Abstract is missing.