@inproceedings{Gajarsky_2015,
    doi = {10.1109/focs.2015.63},
    url = {https://doi.org/10.1109%2Ffocs.2015.63},
    year = {2015},
    month = {oct},
    publisher = {{IEEE}},
    author = {Jakub Gajarsky and Petr Hlineny and Daniel Lokshtanov and Jan Obdrzalek and Sebastian Ordyniak and M.S. Ramanujan and Saket Saurabh},
    title = {{FO} Model Checking on Posets of Bounded Width},
    booktitle = {2015 {IEEE} 56th Annual Symposium on Foundations of Computer Science}
}

@inproceedings{Gajarsky_2015, doi = {10.1109/focs.2015.63}, url = {https://doi.org/10.1109%2Ffocs.2015.63}, year = {2015}, month = {oct}, publisher = {{IEEE}}, author = {Jakub Gajarsky and Petr Hlineny and Daniel Lokshtanov and Jan Obdrzalek and Sebastian Ordyniak and M.S. Ramanujan and Saket Saurabh}, title = {{FO} Model Checking on Posets of Bounded Width}, booktitle = {2015 {IEEE} 56th Annual Symposium on Foundations of Computer Science} }