Oliveira, F., & 		Oliveira, E.
2020 out 26.  Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas. Anais da Escola Regional de Computação Bahia, Alagoas e Sergipe (ERBASE). [Online] :