J. Martim Nicoladelli, J. Santanna Batista, J. Luguesi, and M. Finger, “ASA-CalcPro: uma ferramenta para o ensino-aprendizagem de cálculo proposicional”, RTCC, vol. 4, no. 42, Jun. 2018.