Dyn-FO: A Parallel, Dynamic Complexity Class (1994)

by Sushant Patnaik, Neil Immerman
Venue:Journal of Computer and System Sciences