P. Terrematte and J. 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", in <em>Anais do XXIV Simpósio Brasileiro de Informática na Educação</em>, Campinas/SP, 2013, pp. 967-971, doi: <a href="https://doi.org/10.5753/cbie.sbie.2013.967">https://doi.org/10.5753/cbie.sbie.2013.967</a>.