Souza, M., 		Oliveira, M., & 		Souza, M.
2024 Nov  4.  Boolace: Educational Game to Help Teaching and Learning Propositional Logic. Companion Proceedings of the Brazilian Congress on Computers in Education (CBIE). [Online] :