E. Sifuentes <em>et al.</em>" TRUEBLE: An Innovative Tool for Teaching and Learning Mathematical Logic", in <em>Companion Proceedings of the 14th Brazilian Congress on Computers in Education</em>, Curitiba/PR, 2025, pp. 240-243, doi: <a href="https://doi.org/10.5753/cbie_estendido.2025.14027">https://doi.org/10.5753/cbie_estendido.2025.14027</a>.