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