@inproceedings{GajarskyHlinenyLokshtanovObdrzalekRamanujan16,
 author = {Jakub Gajarský and
Petr Hlinený and
Jan Obdrzálek and
Daniel Lokshtanov and
M. S. Ramanujan},
 booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
 keywords = {xtract},
 pages = {176–184},
 title = {A New Perspective on {FO} Model Checking of Dense Graph Classes},
 url = {https://publik.tuwien.ac.at/files/publik_255927.pdf},
 year = {2016}
}