Transitive compaction in parallel via branchingsPhillip GibbonsRichard Karpet al.1991Journal of Algorithms