Tanglegrams: A Reduction Tool for Mathematical Phylogenetics. - Frederick A. Matsen IV; Sara C. Billey; Arnold Kas; Matjaz Konvalinka (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)