Rodrigo Ribeiro, Karina Roggia, and Cristiano Vasconcellos. 2021.
 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>, abril 26, 2021, On-line, Brasil. SBC, Porto Alegre, Brasil, 05-05. DOI: <a href="https://doi.org/10.5753/educomp_estendido.2021.14846">https://doi.org/10.5753/educomp_estendido.2021.14846</a>.