área de pesquisa Allison Magno Eugênio da Silva Implementação de conversão de provas ALC para o cálculo de sequentes
