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]
@article{EickmeyerHKKMPQ20,
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 Michal Pilipczuk and Daniel A. Quiroz and Roman Rabinovich and Sebastian Siebertz},
year = {2020},
doi = {10.1145/3360011},
url = {https://doi.org/10.1145/3360011},
researchr = {https://researchr.org/publication/EickmeyerHKKMPQ20},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {21},
number = {2},
}