F. Oliveira and E. Oliveira. "Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas", in Anais da XX Escola Regional de Computação Bahia, Alagoas e Sergipe, Arapiraca-AL, 2020, pp. 119-128.