TY  - RPRT
TI  - FO model checking of geometric graphs
AU  - Petr Hliněný
AU  - Filip Pokrývka
AU  - Bodhayan Roy
PY  - 2018
UR  - https://arxiv.org/abs/1709.03701
ID  - 1709.03701
ER  -