Castro-Manzano, José Martín. «Un método De árboles Para La lógica De términos Modal». Open Insight 11, no. 23 (septiembre 29, 2020): 165-180. Accedido diciembre 26, 2024. http://openinsight.com.mx/index.php/open/article/view/422.