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