Generating all arcs in the transitive closure of a directed hypergraph