Elementary first-order model checking for sparse graphs.

Jakub Gajarsk, Michal Pilipczuk, Marek Sokolowski, Giannos Stamoulis, Szymon Torunczyk

Browse the full LICS paper archive.