"The Dynamic Complexity of Transitive Closure Is In DynTC0."

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