B. Dias and A. Finger. " Aplicativos para o ensino-aprendizagem de Lógica Matemática: qual a melhor escolha?", in Actas del XXVI Workshop de Informática en la Escuela, Evento Online, 2020, pp. 111-120, doi: https://doi.org/10.5753/cbie.wie.2020.111.