Alexandre Goldsztejn Claude Michel Michel Rueher An efficient algorithm for a sharp approximation of universally quantified inequalities. 134-139 2008 SAC http://doi.acm.org/10.1145/1363686.1363724 conf/sac/2008 db/conf/sac/sac2008.html#GoldsztejnMR08