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>Proceedings of the 17th Workshop on Computing at School</em>, (pp. 1608-1611). Porto Alegre: SBC.
doi:10.5753/wie.2011.21788