MARTIM NICOLADELLI, J.; SANTANNA BATISTA, J.; LUGUESI, J.; FINGER, M. ASA-CalcPro: uma ferramenta para o ensino-aprendizagem de cálculo proposicional. TUIUTI: CIÊNCIA E CULTURA, v. 4, n. 42, 19 jun. 2018.