Filipe Oliveira and Elthon Oliveira. 2020.
Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas. In <em>Anais da XX Escola Regional de Computação Bahia, Alagoas e Sergipe</em>, outubro 26, 2020, Arapiraca-AL, Brasil. SBC, Porto Alegre, Brasil, 119-128.