Constraint-Based Reasoning - Freuder, Eugene C.; Mackworth, Alan (The MIT Press, 1994)