Bart Demoen Vladimir Lifschitz Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings 3132 3-540-22671-0 ICLP Lecture Notes in Computer Science Springer 2004 db/conf/iclp/iclp2004.html