"Dyn-FO: A Parallel, Dynamic Complexity Class."

Sushant Patnaik, Neil Immerman (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics