TY  - RPRT
TI  - Provenance Analysis for Logic and Games
AU  - Erich Grädel
AU  - Val Tannen
PY  - 2020
DO  - 10.2140/moscow.2020.9.203
UR  - https://arxiv.org/abs/1907.08470
ID  - 1907.08470
ER  -