CASTRO-MANZANO, J. M. Un método de árboles para la lógica de términos modal. Open Insight, v. 11, n. 23, p. 165-180, 29 sep. 2020.