Transitive compaction in parallel via branchings

From MaRDI portal