2019. FUNDAMENTOS PARA IMPLEMENTAÇÃO DE ARGUMENTAÇÃO FORMAL. Encontros Universitários da UFC. 4, 2 (jan. 2019), 1517.