Álvarez-Jarreta, J., G. de Miguel, and E. Mayordomo. “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 1, 2012): 52. Accessed December 6, 2025. https://papiro.unizar.es/ojs/index.php/jji3a/article/view/1890.