Guimarães, Rubens, Strafacci Júnior, Válter, E Tasinaffo, Paulo. " Uma Ferramenta de Lógica na Contradição da Avaliação de Ensino-Aprendizado" Anais do Workshop de Informática na Escola (WIE) [Online], (21 novembro 2011)