Terrematte, Patrick, and João Marcos.
" 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." <em>Anais do XXIV Simpósio Brasileiro de Informática na Educação,
Campinas/SP, 2013</em>. SBC, 2013,  
pp.967-971.