TY  - RPRT
TI  - Reachability is in DynFO
AU  - Samir Datta
AU  - Raghav Kulkarni
AU  - Anish Mukherjee
AU  - Thomas Schwentick
AU  - Thomas Zeume
PY  - 2017
UR  - https://arxiv.org/abs/1502.07467
ID  - 1502.07467
ER  -