Ribeiro, Rodrigo, Karina Roggia, and Cristiano Vasconcellos.
"O Uso de Assistente de Provas no Ensino de Lógica." <em>Anais Estendidos do  I Simpósio Brasileiro de Educação em Computação,
On-line, 2021</em>. SBC, 2021,  
pp.05-05.