First-Order Model Checking

First-Order Model Checking on Structurally Sparse Graph Classes
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, pages 567-580, 2023, Association for Computing Machinery.
PDF Cite DOI