Yahia Lebbah Claude Michel Michel Rueher Using constraint techniques for a safe and fast implementation of optimality-based reduction. 326-331 2007 conf/sac/2007 SAC http://doi.acm.org/10.1145/1244002.1244079 db/conf/sac/sac2007.html#LebbahMR07