@inproceedings{dreier2025mergewidthfirstordermodelchecking,
 address = {New York, NY, USA},
 author = {Dreier, Jan and Toru\'{n}czyk, Szymon},
 booktitle = {Proceedings of the 57th Annual ACM Symposium on Theory of Computing (STOC)},
 doi = {10.1145/3717823.3718259},
 isbn = {9798400715105},
 location = {Prague, Czechia},
 numpages = {12},
 pages = {1944–1955},
 publisher = {Association for Computing Machinery},
 series = {STOC '25},
 title = {Merge-Width and First-Order Model Checking},
 url = {https://arxiv.org/pdf/2502.18065},
 year = {2025}
}