J. M. Castro-Manzano, «Árboles semánticos para la lógica de términos libre», αρχή, vol. 7, n.º 20, pp. 72-88, dic. 2023.