William Hesse The dynamic complexity of transitive closure is in DynTC<sup>0</sup>. 473-485 2003 Theor. Comput. Sci. 3 296 http://dx.doi.org/10.1016/S0304-3975(02)00740-5 db/journals/tcs/tcs296.html#Hesse03