[1]
Castro-Manzano, J.M. 2020. Un método de árboles para la lógica de términos modal. Open Insight. 11, 23 (jun. 2020).