Gert Smolka Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings CP Lecture Notes in Computer Science 1330 Springer 1997 db/conf/cp/cp97.html