@misc{indiciae4d5619a13b80, title = {First-Order Model Checking on Monadically Stable Graph Classes}, author = {Jan Dreier and Ioannis Eleftheriadis and Nikolas Mählmann and Rose McCarty and Michał Pilipczuk and Szymon Toruńczyk}, year = {2023}, url = {https://arxiv.org/abs/2311.18740}, note = {Source identifier: 2311.18740} }