Jeffrey D. Ullman Mihalis Yannakakis The Input/Output Complexity of Transitive Closure. 331-360 1991 3 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai3.html#UllmanY91 http://dx.doi.org/10.1007/BF01530929