Castro-Manzano, J. M. (2020) «Un método de árboles para la lógica de términos modal», Open Insight, 11(23). Disponible en: http://openinsight.com.mx/index.php/open/article/view/422 (Accedido: 19enero2022).