@inproceedings{dreier2023firstorder,
 author = {Dreier, Jan and Eleftheriadis, Ioannis and Mählmann, Nikolas and McCarty, Rose and Pilipczuk, Michał and Toruńczyk, Szymon},
 booktitle = {2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)},
 doi = {10.1109/FOCS61266.2024.00012},
 number = {},
 pages = {21-30},
 title = {First-Order Model Checking on Monadically Stable Graph Classes},
 url = {https://arxiv.org/pdf/2311.18740.pdf},
 volume = {},
 year = {2024}
}