Termination of term rewriting door M. da Conceicao Fernandez Ferreira