Rina Dechter Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings CP Lecture Notes in Computer Science 1894 Springer 2000 3-540-41053-8 db/conf/cp/cp2000.html