UMA ABORDAGEM SISTEMÁTICA PARA DEFINIR SEMÂNTICAS PARA PROGRAMAS EM LÓGICA COM PRIORIDADES. Encontros Universitários da UFC, [S. l.], v. 6, n. 2, p. 1810, 2021. Disponível em: https://periodicos.ufc.br/eu/article/view/74933. Acesso em: 30 mar. 2026.