M. Ernesto Brasil Silva, R. de C. Silva Cordeiro, G. Sales Fernandes, E. Matheus Sousa da Silva, e J. Fernando Lima Alcantara, “UMA ABORDAGEM SISTEMÁTICA PARA DEFINIR SEMÂNTICAS PARA PROGRAMAS EM LÓGICA COM PRIORIDADES”, EU, vol. 6, nº 2, p. 1810, jan. 2021.