TY  - RPRT
TI  - Differential games, locality and model checking for FO logic of graphs
AU  - Jakub Gajarský
AU  - Maximilian Gorsky
AU  - Stephan Kreutzer
PY  - 2020
UR  - https://arxiv.org/abs/2007.11345
ID  - 2007.11345
ER  -