@misc{indiciaeb20330c5e920,
  title = {FO Model Checking on Posets of Bounded Width},
  author = {Jakub Gajarský and Petr Hliněný and Daniel Lokshtanov and Jan Obdržálek and Sebastian Ordyniak and M. S. Ramanujan and Saket Saurabh},
  year = {2015},
  url = {https://arxiv.org/abs/1504.04115},
  note = {Source identifier: 1504.04115}
}