Jakub Gajarský, Michal Pilipczuk, Marek Sokolowski, Giannos Stamoulis, Szymon Torunczyk:
Elementary first-order model checking for sparse graphs. CoRR abs/2401.16230 (2024)
Elementary first-order model checking for sparse graphs. CoRR abs/2401.16230 (2024)