by Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak
Reference:
Faster Existential FO Model Checking on PosetsJakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian OrdyniakAlgorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings (Hee-Kap Ahn, Chan-Su Shin, eds.), volume 8889 of Lecture Notes in Computer Science, pages 441–451, 2014, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@inproceedings{GajarskyHlinenyObdrzalekOrdyniak14,
author = {Jakub Gajarsk{\'{y}} and
Petr Hlinen{\'{y}} and
Jan Obdrz{\'{a}}lek and
Sebastian Ordyniak},
title = {Faster Existential {FO} Model Checking on Posets},
booktitle = {Algorithms and Computation - 25th International Symposium, {ISAAC}
2014, Jeonju, Korea, December 15-17, 2014, Proceedings},
pages = {441--451},
year = {2014},
editor = {Hee{-}Kap Ahn and
Chan{-}Su Shin},
series = {Lecture Notes in Computer Science},
volume = {8889},
publisher = {Springer},
}