@misc{indiciae05f0e7096103,
  title = {FO model checking of geometric graphs},
  author = {Petr Hliněný and Filip Pokrývka and Bodhayan Roy},
  year = {2018},
  url = {https://arxiv.org/abs/1709.03701},
  note = {Source identifier: 1709.03701}
}