Oliveira, F., & 		Oliveira, E.
(2020).
 Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas.
In <em>Proceedings of the 20th Regional Computing School of Bahia, Alagoas, and Sergipe</em>, (pp. 119-128). Porto Alegre: SBC.