Recomendar Item: Prova automática de teoremas para lógicas confluentes

Para recomendar esse Item a alguém, preencha o formulário abaixo. Campos marcados com um '*' são obrigatórios.