@misc{indiciae3a30228b7bc7,
  title = {Differential games, locality and model checking for FO logic of graphs},
  author = {Jakub Gajarský and Maximilian Gorsky and Stephan Kreutzer},
  year = {2020},
  url = {https://arxiv.org/abs/2007.11345},
  note = {Source identifier: 2007.11345}
}