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

Kord Eickmeyer, Ken-ichi Kawarabayashi, Stephan Kreutzer (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics