@misc{indiciae80898a7e8b2e,
  title = {Reachability is in DynFO},
  author = {Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume},
  year = {2017},
  url = {https://arxiv.org/abs/1502.07467},
  note = {Source identifier: 1502.07467}
}