2021. FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP. Encontros Universitários da UFC. 6, 2 (jan. 2021), 1311.