Semiring Provenance for Fixed-Point Logic.

Katrin M. Dannert, Erich Grdel, Matthias Naaf, Val Tannen

Browse the full CSL paper archive.