R. Ribeiro, K. Roggia, and C. Vasconcellos.
"O Uso de Assistente de Provas no Ensino de Lógica", in <em>Anais Estendidos do  I Simpósio Brasileiro de Educação em Computação</em>, On-line, 2021, pp. 05-05, doi: <a href="https://doi.org/10.5753/educomp_estendido.2021.14846">https://doi.org/10.5753/educomp_estendido.2021.14846</a>.