Álvarez-Jarreta J, de Miguel G, Mayordomo E. Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Jorn. jovenes investig. I3A. Published online May 1, 2012:52. doi:10.26754/jji-i3a.201201890