2021. UMA ABORDAGEM SISTEMÁTICA PARA DEFINIR SEMÂNTICAS PARA PROGRAMAS EM LÓGICA COM PRIORIDADES. Encontros Universitários da UFC. 6, 2 (jan. 2021), 1810.