Proving phylogenetic trees minimal with l-clustering and set partitioning
scientific article; zbMATH DE number 3693067