Silva Cordeiro, R. de C. e Teresa de Castro Martins, A. (2021) “FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP”, Encontros Universitários da UFC, 6(2), p. 1311. Disponível em: https://periodicos.ufc.br/eu/article/view/74434 (Acessado: 6 dezembro 2025).