área de pesquisa Laudson Silva de Souza Letícia Carvalho Pivetta Refinamentos para o método dos tableaux /
