FO Model Checking on Map Graphs.

Kord Eickmeyer, Ken-ichi Kawarabayashi

Browse the full FCT paper archive.