Constraint-Based Reasoning - Freuder, Eugene C. (The MIT Press, 1994)
Includes bibliographical reference & index.