Abstract Domains in Constraint Programming - Pelleau, Marie (Elsevier, 2015)
Keywords: Computer Science