Fast Computation of the Exact Hybridization Number of Two Phylogenetic Trees