BOTELHO, Cecilia; GALVÃO, Alessandra; YAMIN, Adenauer; SANTOS, Helida; REISER, Renata. Implicações Representáveis por Funções Overlap e Grouping. In: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 6. , 2021, Online. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 88-95. DOI: https://doi.org/10.5753/weit.2021.18927.