Silva Cordeiro, R. de C. and Teresa de Castro Martins, A. 2021. FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP. Encontros Universitários da UFC. 6, 2 (Jan. 2021), 1311.