Claus-Peter Schnorr An Algorithm for Transitive Closure with Linear Expected Time. 127-133 1978 7 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp7.html#Schnorr78