Alessandra Galvão, Helida Santos, Giancarlo Lucca, Adenauer Yamin, and Renata Reiser. 2023. Geração de Implicações Representáveis via Funções General-Overlap e General-Grouping. In Anais do VII Workshop-Escola de Informática Teórica, outubro 09, 2023, Rio Grande/RS, Brasil. SBC, Porto Alegre, Brasil, 29-36. DOI: https://doi.org/10.5753/weit.2023.26594.