Ribeiro, R., 		Roggia, K., & 		Vasconcellos, C.
2021 abr 26.  O Uso de Assistente de Provas no Ensino de Lógica. Anais Estendidos do Simpósio Brasileiro de Educação em Computação (EDUCOMP). [Online] :