área de pesquisa Adriano Xavier Carvalho Sistema de Reescrita de Termos para Intervalos: Em Direção a Um Modelo Formal para a Computação Intervalar
