Terrematte, Patrick, E Marcos, João. " 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], (25 novembro 2013)