Constraint-Based Reasoning - Freuder, Eugene C. (MIT Press ; Elsevier, 1994)
Index