First-Order Model Checking on Monadically Stable Graph Classes.

Jan Dreier, Ioannis Eleftheriadis, Nikolas Mhlmann, Rose McCarty, Michal Pilipczuk, Szymon Torunczyk

Browse the full FOCS paper archive.