Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes.

Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer

Browse the full LICS paper archive.