F. Oliveira and E. Oliveira.
" Especificações Alloy de Elementos da Lógica Proposicional", in <em>Proceedings of the 14th Unified Computing Meeting of Piauí and 11th Symposium on Information Systems</em>, Picos, 2021, pp. 215-222, doi: <a href="https://doi.org/10.5753/enucompi.2021.17774">https://doi.org/10.5753/enucompi.2021.17774</a>.