Andreas Gunawan,
Bingxin Lu and
Louxin Zhang. A program for verification of phylogenetic network models. In ECCB16, Vol. 32(17):i503-i510 of BIO, 2016. Keywords: exponential algorithm, from network, from rooted trees, phylogenetic network, phylogeny, software, tree containment. Note: http://dx.doi.org/10.1093/bioinformatics/btw467.
|