Guimarães, R., 		Strafacci Júnior, V., & 		Tasinaffo, P.
(2011).
 Uma Ferramenta de Lógica na Contradição da Avaliação de Ensino-Aprendizado.
In <em>Anais do XVII Workshop de Informática na Escola</em>, (pp. 1608-1611). Porto Alegre: SBC.
doi:10.5753/wie.2011.21788