Phillip B. Gibbons Richard M. Karp Vijaya Ramachandran Danny Soroker Robert Endre Tarjan Transitive Compaction in Parallel via Branchings. 110-125 1991 12 J. Algorithms 1 db/journals/jal/jal12.html#GibbonsKRST91