UMA ABORDAGEM SISTEMÁTICA PARA DEFINIR SEMÂNTICAS PARA PROGRAMAS EM LÓGICA COM PRIORIDADES. EU 2021, 6 (2), 1810.