Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial. - Emmanuel Felix Lopes da Silva (2008)