Oliveira, Filipe, and Elthon Oliveira.
" Especificações Alloy de Elementos da Lógica Proposicional." <em>Proceedings of the 14th Unified Computing Meeting of Piauí and 11th Symposium on Information Systems,
Picos, 2021</em>. SBC, 2021,  
pp.215-222.