"Complete Problems for Dynamic Complexity Classes."

William Hesse, Neil Immerman (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics