@misc{indiciae76cbcd0b4702,
  title = {Model-Checking on Ordered Structures},
  author = {Kord Eickmeyer and Jan van den Heuvel and Ken-ichi Kawarabayashi and Stephan Kreutzer and Patrice Ossona de Mendez and Michał Pilipczuk and Daniel A. Quiroz and Roman Rabinovich and Sebastian Siebertz},
  year = {2018},
  doi = {10.1145/3360011},
  url = {https://arxiv.org/abs/1812.08003},
  note = {Source identifier: 1812.08003}
}