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>Anais do XVII Workshop de Informática na Escola,
Aracajú, 2011</em>. SBC, 2011,  
pp.1608-1611.