Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures Academic Article