OLIVEIRA, Filipe; 						OLIVEIRA, Elthon.
 Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas. <em>In</em>: ESCOLA REGIONAL DE COMPUTAÇÃO BAHIA, ALAGOAS E SERGIPE (ERBASE), 20.	, 2020, Arapiraca-AL.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2020
.
 p. 119-128.