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