Galvez, C. Aplicación De Transductores De Estado-Finito a Los Procesos De unificación De términos. Cionline 2007, 35.