Declarative Programming and Knowledge Management - Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (Springer, 2020)