Guimarães, Rubens, 		Strafacci Júnior, Válter, AND 		Tasinaffo, Paulo.
" Uma Ferramenta de Lógica na Contradição da Avaliação de Ensino-Aprendizado" <em>Proceedings of the Workshop on Computing at School (WIE)</em> [Online], (21 November 2011)