Semiring Provenance for First-Order Model Checking

(2017) [Preprint]

Authors

Selected Authors

Grädel, Erich
Tannen, Val

Identifier

  • REPORT NUMBER: RWTH-2018-01222