1. Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick and Thomas Zeume.
    Reachability Is in DynFO.
    J. ACM 65(5):33:1–33:24, 2018.
    URL, DOI BibTeX

    @article{DBLP:journals/jacm/DattaKMSZ18,
    	author = "Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume",
    	title = "Reachability Is in DynFO",
    	journal = "J. {ACM}",
    	volume = 65,
    	number = 5,
    	pages = "33:1--33:24",
    	year = 2018,
    	url = "https://doi.org/10.1145/3212685",
    	doi = "10.1145/3212685",
    	timestamp = "Wed, 21 Nov 2018 12:44:29 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/jacm/DattaKMSZ18",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }