Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (2007)
Dahl, Veronica and Niemelä, Ilkka