https://bookem.ir/books/1048731-Abstract-Domains-in-Constraint-Programming
Abstract Domains in Constraint Programming