Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz. Model-Checking on Ordered Structures. ACM Trans. Comput. Log., 21(2), 2020. [doi]
Abstract is missing.