Silva Cordeiro R de C, Teresa de Castro Martins A. FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP. EU [Internet]. 1º de janeiro de 2021 [citado 6º de dezembro de 2025];6(2):1311. Disponível em: https://periodicos.ufc.br/eu/article/view/74434