Nunes, Miguel, 		Roggia, Karina, E 		Torrens, Paulo.
" Soundness-Preserving Fusion of Modal Logics in Coq" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)