Alexandre Goldsztejn Claude Michel Michel Rueher Efficient handling of universally quantified inequalities. 117-135 2009 14 Constraints 1 http://dx.doi.org/10.1007/s10601-008-9053-0 db/journals/constraints/constraints14.html#GoldsztejnMR09