Krzysztof R. Apt Antonis C. Kakas Eric Monfroy Francesca Rossi New Trends in Constraints Lecture Notes in Computer Science 1865 Springer 2000 3-540-67885-9 db/conf/compulog/compulog1999.html