Castro-Manzano, J. M. Árboles semánticos Para La lógica De términos Libre. αρχή 2023, 7, 72-88.