@misc{indiciaeda5837af4a4a,
  title = {Extended MSO Model Checking via Small Vertex Integrity},
  author = {Tatsuya Gima and Yota Otachi},
  year = {2022},
  doi = {10.1007/s00453-023-01161-9},
  url = {https://arxiv.org/abs/2202.08445},
  note = {Source identifier: 2202.08445}
}