Aplicación de transductores de estado-finito a los procesos de unificación de términos | Publicación