Rodrigues, Agnaldo, E 		Gluz, João.
" SAAPIEnS: Uma Ferramenta de Autoria de Objetos de Aprendizagem e Apoio Pedagógico na Dedução Natural na Lógica Proposicional" <em>Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC)</em> [Online], (28 maio 2014)