Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings - Véronica Dahl, Ilkka Niemelä ((Lecture Notes in Computer Science))