Castro-Manzano, J. M. (2020) «Un método de árboles para la lógica de términos modal», Open Insight, 11(23), pp. 165-180. doi: 10.23924/oi.v11i23.422.