Semiring Provenance for Guarded Logics

(2019) [Preprint]

Authors

Authors

Grädel, Erich
Dannert, Katrin M.

Identifier

  • REPORT NUMBER: RWTH-2019-12212