Jakub Gajarsk'y, Petr Hlinen'y, Daniel Lokshtanov, Jan Obdrz'alek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh. FO Model Checking on Posets of Bounded Width. IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 963-974, 2015.