Semiring Provenance for Guarded Logics

Grädel, Erich (Corresponding author); Dannert, Katrin M.

(2019)
Preprint

Identifier