“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. Acesso em março 30, 2026. https://periodicos.ufc.br/eu/article/view/74434.