Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Daniel Lokshtanov, M. S. Ramanujan 0001. A New Perspective on FO Model Checking of Dense Graph Classes. ACM Trans. Comput. Log., 21(4), 2020. [doi]
@article{GajarskyHOLR20,
title = {A New Perspective on FO Model Checking of Dense Graph Classes},
author = {Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Daniel Lokshtanov and M. S. Ramanujan 0001},
year = {2020},
doi = {10.1145/3383206},
url = {https://doi.org/10.1145/3383206},
researchr = {https://researchr.org/publication/GajarskyHOLR20},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {21},
number = {4},
}