Ernesto Brasil Silva, M. et al. 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.