Constraint processing : selected papers - Meyer, Manfred, 1963- (Lecture notes in computer science, 1995)