Constraint-based reasoning - Freuder, Eugene C., 1945-; Mackworth, Alan K., 1945- (Bradford Book, 1994)