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, vol. 6, nº 2, janeiro de 2021, p. 1311, https://periodicos.ufc.br/eu/article/view/74434.