Verónica Dahl Ilkka Niemelä Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings ICLP Lecture Notes in Computer Science 4670 Springer 2007 978-3-540-74608-9 db/conf/iclp/iclp2007.html