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>Anais do XVII Workshop de Informática na Escola</em>, novembro 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>.