The input/output complexity of transitive closure (1991)

by J D Ullman, M Yannakakis
Venue:Ann. Math. Artif. Intell