área de pesquisa Alneu de Andrade Lopes Sobre a Representação de Linguagem Natural usando Dedução Natural Rotulada
