Deciding first-order properties of nowhere dense graphs (2014)

by Martin Grohe, Stephan Kreutzer, Sebastian Siebertz
Venue:In Proceedings of the 46th Annual ACM Symposium on Theory of Computing (STOC