Terrematte, P., & 		Marcos, J.
(2013).
 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.
In <em>Anais do XXIV Simpósio Brasileiro de Informática na Educação</em>, (pp. 967-971). Porto Alegre: SBC.
doi:10.5753/cbie.sbie.2013.967