Dyn-FO: A parallel, dynamic complexity class (1997)

by S Patnaik, N Immerman
Venue:J. Comput. Syst. Sci