"An Improved Tight Closure Algorithm for Integer Octagonal Constraints."

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics