J. M. Castro-Manzano, «Un método de árboles para la lógica de términos modal», OI, vol. 11, n.º 23, pp. 165-180, sep. 2020.