Oliveira, Filipe, and Elthon Oliveira.
" Especificações Alloy de Elementos da Lógica Proposicional." <em>Anais do XIV Encontro Unificado de Computação do Piauí e XI Simpósio de Sistemas de Informação,
Picos, 2021</em>. SBC, 2021,  
pp.215-222.