@inproceedings{GajarskyHlinenyLokshtanovObdrzalekOrdyniakRamanujanSaurabh15,
 author = {Jakub Gajarský and
Petr Hlinený and
Daniel Lokshtanov and
Jan Obdrzálek and
Sebastian Ordyniak and
M. S. Ramanujan and
Saket Saurabh},
 bibsource = {dblp computer science bibliography, http://dblp.org},
 biburl = {http://dblp.uni-trier.de/rec/bib/conf/focs/GajarskyHLOORS15},
 booktitle = {{IEEE} 56th Annual Symposium on Foundations of Computer Science, {FOCS}
2015, Berkeley, CA, USA, 17-20 October, 2015},
 doi = {10.1109/FOCS.2015.63},
 pages = {963–974},
 timestamp = {Mon, 04 Jan 2016 13:44:40 +0100},
 title = {{FO} Model Checking on Posets of Bounded Width},
 url = {http://dx.doi.org/10.1109/FOCS.2015.63},
 year = {2015}
}