Botelho, Cecilia, Alessandra Galvão, Adenauer Yamin, Helida Santos, and Renata Reiser.
" Implicações Representáveis por Funções Overlap e Grouping." <em>Anais do VI Workshop-Escola de Informática Teórica,
Online, 2021</em>. SBC, 2021,  
pp.88-95.