Constraint satisfaction problems: Algorithms and applications
Consistency in Networks of Relations