Deciding First-Order Properties of Nowhere Dense Graphs

Martin Grohe, Stephan Kreutzer, Sebastian Siebertz. Deciding First-Order Properties of Nowhere Dense Graphs. Journal of the ACM, 64(3), 2017. [doi]

Abstract

Abstract is missing.