Ribeiro, Rodrigo, 		Roggia, Karina, E 		Vasconcellos, Cristiano.
" O Uso de Assistente de Provas no Ensino de Lógica" <em>Anais Estendidos do Simpósio Brasileiro de Educação em Computação (EDUCOMP)</em> [Online], (26 abril 2021)