FO model checking on geometric graphs

Petr Hlinený, Filip Pokrývka, Bodhayan Roy. FO model checking on geometric graphs. Comput. Geom., 78:1-19, 2019. [doi]

Abstract

Abstract is missing.