TY - JOUR T1 - Transitive closure of infinite graphs and its applications JF - Languages and Compilers for Parallel Computing Y1 - 1996 A1 - Kelly,W. A1 - Pugh, William A1 - Rosser,E. A1 - Shpeisman,T. ER -