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