"Linear Integer Arithmetic Revisited."

Martin Bromberger, Thomas Sturm, Christoph Weidenbach (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics