TY  - RPRT
TI  - Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
AU  - Petr A. Golovach
AU  - Giannos Stamoulis
AU  - Dimitrios M. Thilikos
PY  - 2024
UR  - https://arxiv.org/abs/2211.01723
ID  - 2211.01723
ER  -