Guimarães, R., Strafacci Júnior, V., & Tasinaffo, P. (2011). Uma Ferramenta de Lógica na Contradição da Avaliação de Ensino-Aprendizado. Proceedings Of The Workshop On Computing At School (WIE), , 1608-1611. doi:10.5753/wie.2011.21788