TY  - RPRT
TI  - Algorithms and data structures for first-order logic with connectivity under vertex failures
AU  - Michał Pilipczuk
AU  - Nicole Schirrmacher
AU  - Sebastian Siebertz
AU  - Szymon Toruńczyk
AU  - Alexandre Vigny
PY  - 2021
UR  - https://arxiv.org/abs/2111.03725
ID  - 2111.03725
ER  -