Oliveira, F., & 		Oliveira, E.
2020 Oct 26.  Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas. Proceedings of the Regional School on Computing of Bahia, Alagoas, and Sergipe (ERBASE). [Online] :