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{DattaKMSZ18,
    	acmid = 3212685,
    	address = "New York, NY, USA",
    	articleno = 33,
    	author = "Datta, Samir and Kulkarni, Raghav and Mukherjee, Anish and Schwentick, Thomas and Zeume, Thomas",
    	date-modified = "2018-10-17 12:43:06 +0000",
    	doi = "10.1145/3212685",
    	issn = "0004-5411",
    	issue_date = "September 2018",
    	journal = "J. ACM",
    	keywords = "DynFO, Dynamic descriptive complexity, reachability",
    	month = "",
    	number = 5,
    	numpages = 24,
    	pages = "33:1--33:24",
    	publisher = "ACM",
    	title = "Reachability Is in DynFO",
    	url = "http://doi.acm.org/10.1145/3212685",
    	volume = 65,
    	year = 2018,
    	bdsk-url-1 = "http://doi.acm.org/10.1145/3212685",
    	bdsk-url-2 = "http://dx.doi.org/10.1145/3212685"
    }