Ernesto Brasil Silva, M. (2021) “UMA ABORDAGEM SISTEMÁTICA PARA DEFINIR SEMÂNTICAS PARA PROGRAMAS EM LÓGICA COM PRIORIDADES”, Encontros Universitários da UFC, 6(2), p. 1810. Disponível em: https://periodicos.ufc.br/eu/article/view/74933 (Acessado: 6 dezembro 2025).