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

by S Patnaik, N Immerman
Venue:JCSS