Constraint-Based Reasoning door Eugene C. Freuder & Alan K. Mackworth