Souza, M., 		Oliveira, M., & 		Souza, M.
2022 abr 24.  Boolace: Um Jogo-Curso de Lógica Proposicional. Anais Estendidos do Simpósio Brasileiro de Educação em Computação (EDUCOMP). [Online] :