Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Sebastian Ordyniak. Faster Existential FO Model Checking on Posets. Algorithms 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.