@inproceedings{eickmeyer2013model,
  publisher.org = {{IEEE} Computer Society},
  year = {2013},
  booktitle = {{LICS 2013}},
  title = {Model Checking for Successor-Invariant First-Order Logic on
           Minor-Closed Graph Classes},
  pages = {134--142},
  author = {Kord Eickmeyer and Ken{-}ichi Kawarabayashi and Stephan Kreutzer},
  publisher = {{IEEE} Computer Soc.},
}