FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP. EU. 2021;6(2):1311. Acesso em março 30, 2026. https://periodicos.ufc.br/eu/article/view/74434