Constraint processing - Dechter, Rina 1950- (Morgan Kaufmann Publishers, 2003)