The Expressiveness of a Family of Finite Set Languages. - Neil Immerman; Sushant Patnaik; David W. Stemple (Theor. Comput. Sci., 1996)

Dyn-FO: A Parallel, Dynamic Complexity Class. - Sushant Patnaik; Neil Immerman (J. Comput. Syst. Sci., 1997)