First-Order Model Checking on Structurally Sparse Graph Classes.

Jan Dreier, Nikolas Mhlmann, Sebastian Siebertz

Browse the full STOC paper archive.