Ernesto Brasil Silva, Matheus, et al. “UMA ABORDAGEM SISTEMÁTICA PARA DEFINIR SEMÂNTICAS PARA PROGRAMAS EM LÓGICA COM PRIORIDADES”. Encontros Universitários Da UFC, vol. 6, nº 2, janeiro de 2021, p. 1810, https://periodicos.ufc.br/eu/article/view/74933.