Result: Elementary first-order model checking for sparse graphs

Title:
Elementary first-order model checking for sparse graphs
Authors:
Gajarský, Jakub, Pilipczuk, Michał, Sokołowski, Marek, Stamoulis, Giannos, Toruńczyk, Szymon
Source:
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. :1-14
Availability:
http://dl.acm.org/doi/10.1145/3661814.3662094
Database:
ACM Full-Text Collection