Constraint-based reasoning - Freuder, Eugene C. (MIT Press, 1994)
"A Bradford book."