TY - BOOK AU - Pelleau, Marie TI - Abstract Domains in Constraint Programming SN - 9781785480102 PB - Elsevier KW - Computer Science UR - https://www.sciencedirect.com/science/book/9781785480102 ER -