M. Nunes, K. Roggia, and P. Torrens.
" Soundness-Preserving Fusion of Modal Logics in Coq", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 120-138.