"The dynamic complexity of transitive closure is in DynTC0."

William Hesse (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics