OrientaTree: A Mobile Tool for Geolocated Educational Orienteering. - Juan Alberto Muñoz-Cristóbal; Vanesa Gallego-Lema; Higinio F. Arribas-Cubero; Gabriel Rodríguez-González; Felipe Hermida-Arias; Alejandra Martínez-Monés (IEEE Trans. Learn. Technol., 2025)