Constraint-based reasoning by Eugene C. Freuder | Menrva Books | MenrvaBooks