Kord Eickmeyer, Ken-ichi Kawarabayashi. FO Model Checking on Map Graphs. In Ralf Klasing, Marc Zeitoun, editors, Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings. Volume 10472 of Lecture Notes in Computer Science, pages 204-216, Springer, 2017. [doi]
Abstract is missing.