Declarative Programming and Knowledge Management - Seipel (Springer International Publishing, 2018)