Provenance Analysis: A Perspective for Description Logics? - Katrin M. Dannert; Erich Grädel (Description Logic, Theory Combination, and All That, 2019)

Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic. - Katrin M. Dannert; Erich Grädel; Matthias Naaf; Val Tannen (CoRR, 2019)

Semiring Provenance for Fixed-Point Logic. - Katrin M. Dannert; Erich Grädel; Matthias Naaf; Val Tannen (CSL, 2021)