@misc{indiciae9417e9ab181b, title = {A logic-based algorithmic meta-theorem for mim-width}, author = {Benjamin Bergougnoux and Jan Dreier and Lars Jaffke}, year = {2022}, url = {https://arxiv.org/abs/2202.13335}, note = {Source identifier: 2202.13335} }