Nunes, M., 		Roggia, K., & 		Torrens, P.
2024 dez  4.  Soundness-Preserving Fusion of Modal Logics in Coq. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :