Souza, Márcio Flávio, 		Oliveira, Márcia, AND 		Souza, Maria Alice.
" Boolace: A Propositional Logic Game-Course - WTD" <em>Companion Proceedings of the Brazilian Symposium on Computing Education (EDUCOMP)</em> [Online], (24 April 2022)