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