@misc{indiciae2ed7c75439e1,
  title = {Algorithms and data structures for first-order logic with connectivity under vertex failures},
  author = {Michał Pilipczuk and Nicole Schirrmacher and Sebastian Siebertz and Szymon Toruńczyk and Alexandre Vigny},
  year = {2021},
  url = {https://arxiv.org/abs/2111.03725},
  note = {Source identifier: 2111.03725}
}