@misc{indiciaefc978aaf35da,
  title = {Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes},
  author = {Petr A. Golovach and Giannos Stamoulis and Dimitrios M. Thilikos},
  year = {2024},
  url = {https://arxiv.org/abs/2211.01723},
  note = {Source identifier: 2211.01723}
}