Weak quantifier elimination for the full linear theory of the integers.

Aless Lasaruk Thomas Sturm Weak quantifier elimination for the full linear theory of the integers. 545-574 2007 18 Appl. Algebra Eng. Commun. Comput. 6 http://dx.doi.org/10.1007/s00200-007-0053-x db/journals/aaecc/aaecc18.html#LasarukS07