TY  - RPRT
TI  - Model-Checking on Ordered Structures
AU  - Kord Eickmeyer
AU  - Jan van den Heuvel
AU  - Ken-ichi Kawarabayashi
AU  - Stephan Kreutzer
AU  - Patrice Ossona de Mendez
AU  - Michał Pilipczuk
AU  - Daniel A. Quiroz
AU  - Roman Rabinovich
AU  - Sebastian Siebertz
PY  - 2018
DO  - 10.1145/3360011
UR  - https://arxiv.org/abs/1812.08003
ID  - 1812.08003
ER  -