@inproceedings{eickmeyer2016model,
  title = {Successor-Invariant First-Order Logic on Graphs with Excluded
           Topological Subgraphs},
  pages = {18:1--18:15},
  publisher = {Schloss Dagstuhl --- Leibniz-Zentrum f\"ur Informatik},
  author = {Kord Eickmeyer and Ken{-}ichi Kawarabayashi},
  series = {LIPIcs},
  volume = {62},
  booktitle = {{CSL 2016}},
  year = {2016},
}