PaperTransitive compaction in parallel via branchingsPhillip Gibbons, Richard Karp, et al.Journal of Algorithms