C. Galvez, “Aplicación de transductores de estado-finito a los procesos de unificación de términos”, Cionline, vol. 35, nº 3, jul. 2007.