Castro-Manzano, J. M. «Un método De árboles Para La lógica De términos Modal». Open Insight, Vol. 11, n.º 23, septiembre de 2020, pp. 165-80, doi:10.23924/oi.v11i23.422.