The input/output complexity of transitive closure (1991)

by J D Ullman, M Yannakakis
Venue:Annals of Mathematics and Artificial Intelligence