Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings - Dahl, Véronica; Niemelä, Ilkka (Springer Berlin Heidelberg, 2007)