TY  - RPRT
TI  - Model-Checking for Successor-Invariant First-Order Formulas on Graph Classes of Bounded Expansion
AU  - Jan van den Heuvel
AU  - Stephan Kreutzer
AU  - Michał Pilipczuk
AU  - Daniel A. Quiroz
AU  - Roman Rabinovich
AU  - Sebastian Siebertz
PY  - 2017
DO  - 10.1109/lics.2017.8005115
UR  - https://arxiv.org/abs/1701.08516
ID  - 1701.08516
ER  -