Guimarães, Rubens, Válter Strafacci Júnior, and Paulo Marcelo Tasinaffo.
" Uma Ferramenta de Lógica na Contradição da Avaliação de Ensino-Aprendizado." <em>Actas del XVII Workshop de Informática en la Escuela,
Aracajú, 2011</em>. SBC, 2011,  
pp.1608-1611.