Galvão, Alessandra, Helida Santos, Giancarlo Lucca, Adenauer Yamin, and Renata Reiser.
" Geração de Implicações Representáveis via Funções General-Overlap e General-Grouping." <em>Anais do VII Workshop-Escola de Informática Teórica,
Rio Grande/RS, 2023</em>. SBC, 2023,  
pp.29-36.