TY  - RPRT
TI  - Elementary first-order model checking for sparse graphs
AU  - Jakub Gajarský
AU  - Michał Pilipczuk
AU  - Marek Sokołowski
AU  - Giannos Stamoulis
AU  - Szymon Toruńczyk
PY  - 2025
UR  - https://arxiv.org/abs/2401.16230
ID  - 2401.16230
ER  -