TY  - RPRT
TI  - A logic-based algorithmic meta-theorem for mim-width
AU  - Benjamin Bergougnoux
AU  - Jan Dreier
AU  - Lars Jaffke
PY  - 2022
UR  - https://arxiv.org/abs/2202.13335
ID  - 2202.13335
ER  -