@inproceedings{GajarskyHlinenyObdrzalekOrdyniak14,
 author = {Jakub Gajarský and
Petr Hlinený and
Jan Obdrzálek and
Sebastian Ordyniak},
 booktitle = {Algorithms and Computation - 25th International Symposium, {ISAAC}
2014, Jeonju, Korea, December 15-17, 2014, Proceedings},
 editor = {Hee{-}Kap Ahn and
Chan{-}Su Shin},
 pages = {441–451},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Faster Existential {FO} Model Checking on Posets},
 volume = {8889},
 year = {2014}
}