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 - Dietmar Seipel, Michael Hanus, Armin Wolf ((Lecture Notes in Computer Science))