TY  - RPRT
TI  - FO Model Checking on Posets of Bounded Width
AU  - Jakub Gajarský
AU  - Petr Hliněný
AU  - Daniel Lokshtanov
AU  - Jan Obdržálek
AU  - Sebastian Ordyniak
AU  - M. S. Ramanujan
AU  - Saket Saurabh
PY  - 2015
UR  - https://arxiv.org/abs/1504.04115
ID  - 1504.04115
ER  -