@misc{indiciae84547c5217f3,
  title = {Distributed Model Checking on Graphs of Bounded Treedepth},
  author = {Fedor V. Fomin and Pierre Fraigniaud and Pedro Montealegre and Ivan Rapaport and Ioan Todinca},
  year = {2024},
  url = {https://arxiv.org/abs/2405.03321},
  note = {Source identifier: 2405.03321}
}