Roberto Bagnara Patricia M. Hill Enea Zaffanella An Improved Tight Closure Algorithm for Integer Octagonal Constraints http://arxiv.org/abs/0705.4618 2007 CoRR abs/0705.4618 db/journals/corr/corr0705.html#abs-0705-4618 informal publication