@misc{indiciaed029cab8ae86,
  title = {Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes},
  author = {Nicole Schirrmacher and Sebastian Siebertz and Giannos Stamoulis and Dimitrios M. Thilikos and Alexandre Vigny},
  year = {2026},
  url = {https://arxiv.org/abs/2302.07033},
  note = {Source identifier: 2302.07033}
}