@inproceedings{doi:10.1137/1.9781611977554.ch125,
 author = {Benjamin Bergougnoux and Jan Dreier and Lars Jaffke},
 booktitle = {Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)},
 chapter = {},
 doi = {10.1137/1.9781611977554.ch125},
 eprint = {https://epubs.siam.org/doi/pdf/10.1137/1.9781611977554.ch125},
 pages = {3282-3304},
 title = {A logic-based algorithmic meta-theorem for mim-width},
 url = {https://arxiv.org/abs/2202.13335},
 year = {2023}
}