FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP. EU [Internet]. 1º de janeiro de 2021 [citado 30º de março de 2026];6(2):1311. Disponível em: https://periodicos.ufc.br/eu/article/view/74434