@misc{indiciaee80ccb80bbe9,
  title = {Model-Checking for Successor-Invariant First-Order Formulas on Graph Classes of Bounded Expansion},
  author = {Jan van den Heuvel and Stephan Kreutzer and Michał Pilipczuk and Daniel A. Quiroz and Roman Rabinovich and Sebastian Siebertz},
  year = {2017},
  doi = {10.1109/lics.2017.8005115},
  url = {https://arxiv.org/abs/1701.08516},
  note = {Source identifier: 1701.08516}
}