Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers - Seipel, Dietmar; Seipel, Dietmar; Hanus, Michael; Hanus, Michael; Abreu, Salvador; Abreu, Salvador (Springer International Publishing : Imprint: Springer, 2018)