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 - Seipel, Dietmar; Hanus, Michael; Wolf, Armin (Springer Berlin Heidelberg : Imprint: Springer, 2009)