TY  - RPRT
TI  - Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
AU  - Ignasi Sau
AU  - Nicole Schirrmacher
AU  - Sebastian Siebertz
AU  - Giannos Stamoulis
AU  - Dimitrios M. Thilikos
AU  - Alexandre Vigny
PY  - 2026
UR  - https://arxiv.org/abs/2605.00192
ID  - 2605.00192
ER  -