“FORMALIZAÇÃO DE EXTENSÕES EM ARGUMENTAÇÃO ABSTRATA VIA PROLOG E ASP” (2021) Encontros Universitários da UFC, 6(2), p. 1311. Disponível em: https://periodicos.ufc.br/eu/article/view/74434 (Acesso em: 30 março 2026).