Álvarez-Jarreta, J. et al. 2012. 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. Jornada de Jóvenes Investigadores del I3A. (May 2012), 52. DOI:https://doi.org/10.26754/jji-i3a.201201890.