Souza, M., 		Oliveira, M., & 		Souza, M.
2022 Apr 24.  Boolace: A Propositional Logic Game-Course - WTD. Companion Proceedings of the Brazilian Symposium on Computing Education (EDUCOMP). [Online] :