Manfred Meyer Constraint Processing, Selected Papers Lecture Notes in Computer Science 923 Springer 1995 3-540-59479-5 db/conf/cp/cp1995s.html