R. Guimarães, V. Strafacci Júnior, and P. Tasinaffo. " Uma Ferramenta de Lógica na Contradição da Avaliação de Ensino-Aprendizado", in Anais do XVII Workshop de Informática na Escola, Aracajú, 2011, pp. 1608-1611, doi: https://doi.org/10.5753/wie.2011.21788.