Martim Nicoladelli, Jose, Janna Santanna Batista, João Luguesi, e Marcelo Finger. 2018. ASA-CalcPro: Uma Ferramenta Para O Ensino-Aprendizagem De Cálculo Proposicional. TUIUTI: CIÊNCIA E CULTURA 4 (42). https://homolog-sites.utp.br/index.php/h/article/view/1128.