Catuscia Palamidessi Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings ICLP Lecture Notes in Computer Science 2916 Springer 2003 3-540-20642-6 db/conf/iclp/iclp2003.html