FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP. (2021). Encontros Universitários Da UFC, 6(2), 1311. https://periodicos.ufc.br/eu/article/view/74434