Patrick Terrematte and João Marcos. 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>, novembro 25, 2013, Campinas/SP, Brasil. SBC, Porto Alegre, Brasil, 967-971. DOI: <a href="https://doi.org/10.5753/cbie.sbie.2013.967">https://doi.org/10.5753/cbie.sbie.2013.967</a>.