Provenance Analysis for Logic and Games

(2019) [Preprint]

Authors

Authors

Grädel, Erich
Tannen, Val

Identifier

  • REPORT NUMBER: RWTH-2019-12211