Constraint-based reasoning edited by Eugene C. Freuder and Alan K. Mackworth. - Freuder, Eugene C.; Mackworth, Alan K. (MIT Press, 1994)