(1)
Castro-Manzano, J. M. Un método De árboles Para La lógica De términos Modal. OI 2020, 11.