Jan Dreier, Nikolas Mählmann, Sebastian Siebertz. First-Order Model Checking on Structurally Sparse Graph Classes. In Barna Saha, Rocco A. Servedio, editors, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023. pages 567-580, ACM, 2023. [doi]
Abstract is missing.