R. Trindade, A. Charão, and C. Schneider. "Logic in a Logic Way: um Aplicativo para Exercitar a Resolução de Problemas de Lógica da Olimpíada Brasileira de Informática", in Anais do XXV Workshop sobre Educação em Computação, São Paulo, 2017, doi: https://doi.org/10.5753/wei.2017.3539.