Rubens Guimarães, Válter Strafacci Júnior, and Paulo Tasinaffo. 2011.
 Uma Ferramenta de Lógica na Contradição da Avaliação de Ensino-Aprendizado. In <em>Actas del XVII Workshop de Informática en la Escuela</em>, noviembre 21, 2011, Aracajú, Brasil. SBC, Porto Alegre, Brasil, 1608-1611. DOI: <a href="https://doi.org/10.5753/wie.2011.21788">https://doi.org/10.5753/wie.2011.21788</a>.