Terrematte, P., & 		Marcos, J.
2013 nov 25.  Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :