Pinho, Gabriel, and Renato P. Ribas. "Método de Síntese Lógica Aproximada Dois-Níveis Baseado na Inserção e Remoção de Cubos." Anais do XXXV Concurso de Teses e Dissertações, Niterói, 2022. SBC, 2022, pp.130-139.