Oliveira, Filipe, and Elthon Oliveira.
" Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas." <em>Proceedings of the 20th Regional Computing School of Bahia, Alagoas, and Sergipe,
Arapiraca-AL, 2020</em>. SBC, 2020,  
pp.119-128.