imPhy: Imputing Phylogenetic Trees with Missing Information Using Mathematical Programming - Niko Yasui; Chrysafis Vogiatzis; Ruriko Yoshida; Kenji Fukumizu (IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020)