Nunes, M., 		Roggia, K., & 		Torrens, P.
(2024).
 Soundness-Preserving Fusion of Modal Logics in Coq.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 120-138). Porto Alegre: SBC.