Botelho, C., Galvão, A., Yamin, A., Santos, H., & Reiser, R. 2021 nov 17. Implicações Representáveis por Funções Overlap e Grouping. Anais do Workshop-Escola de Informática Teórica (WEIT). [Online] :