Dietmar Seipel, Michael Hanus, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Volume 5437 of Lecture Notes in Computer Science, Springer, 2009. [doi]
Conference: wlp2009