Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz. Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. pages 1-11, IEEE Computer Society, 2017. [doi]
Abstract is missing.