Silva Cordeiro, Renan de Castro, e Ana Teresa de Castro Martins. “FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP”. Encontros Universitários da UFC 6, no. 2 (janeiro 1, 2021): 1311. Acessado dezembro 6, 2025. https://periodicos.ufc.br/eu/article/view/74434.