“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.