TY  - RPRT
TI  - First-Order Provenance Games
AU  - Sven Köhler
AU  - Bertram Ludäscher
AU  - Daniel Zinn
PY  - 2013
DO  - 10.1007/978-3-642-41660-6_20
UR  - https://arxiv.org/abs/1309.2655
ID  - 1309.2655
ER  -