Eugene C. Freuder Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996 CP Lecture Notes in Computer Science 1118 Springer 1996 db/conf/cp/cp96.html