Terminal de Evaluación del Sistema "SIRIO": Investigación Algorítimica - Artes Rodriguez, Antonio; Lazaro Teja, Marcelino; Leiva Murillo, Jose Miguel; Santiago Mozos, Ricardo (2007)