Silva Cordeiro, R. de C., & 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), 1311. Recuperado de https://periodicos.ufc.br/eu/article/view/74434