FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP. EU 2021, 6 (2), 1311.