Semiring Provenance for First-Order Model Checking

Grädel, Erich (Corresponding author); Tannen, Val

(2017)
Preprint