Computing phylogenetic diversity for split systems. - Spillner, Andreas