TY  - RPRT
TI  - Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
AU  - Ignasi Sau
AU  - Giannos Stamoulis
AU  - Dimitrios M. Thilikos
PY  - 2024
UR  - https://arxiv.org/abs/2406.18465
ID  - 2406.18465
ER  -