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>Proceedings of the 17th Workshop on Computing at School</em>, November 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>.