Oliveira, Filipe, E 		Oliveira, Elthon.
" Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas" <em>Anais da Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE)</em> [Online], (26 outubro 2020)