Abstract Domains in Constraint Programming - Pelleau, Marie (Elsevier, 2015)