Castro-Manzano, J. M. «Un método De árboles Para La lógica De términos Modal». Open Insight, Vol. 11, n.º 23, junio de 2020, http://openinsight.com.mx/index.php/open/article/view/422.