Declarative Programming and Knowledge Management - Dietmar Seipel, Michael Hanus, Salvador Abreu (Springer, 2018)