Martim Nicoladelli, J., J. Santanna Batista, J. Luguesi, and M. Finger. “ASA-CalcPro: Uma Ferramenta Para O Ensino-Aprendizagem De Cálculo Proposicional”. TUIUTI: CIÊNCIA E CULTURA, Vol. 4, no. 42, June 2018, https://revistas.utp.br/index.php/h/article/view/1128.