Seipel, Dietmar2022-03-022022-03-022018978-3-030-00800-0978-3-030-00801-7978-3-030-00802-4https://publica.fraunhofer.de/handle/publica/163684Declarative Programming and Knowledge Management