Castro-Manzano JM. Un método de árboles para la lógica de términos modal. OI [Internet]. 29 de septiembre de 2020 [citado 3 de abril de 2025];11(23):165-80. Disponible en: http://openinsight.com.mx/index.php/open/article/view/422