TY  - RPRT
TI  - Courcelle's Theorem Without Logic
AU  - Yuval Filmus
AU  - Johann A. Makowsky
PY  - 2025
UR  - https://arxiv.org/abs/2505.02771
ID  - 2505.02771
ER  -