Bin Ma Ming Li Louxin Zhang From Gene Trees to Species Trees. 729-752 2000 30 SIAM J. Comput. 3 http://dx.doi.org/10.1137/S0097539798343362 db/journals/siamcomp/siamcomp30.html#MaLZ00