Nunes, M., 		Roggia, K., & 		Torrens, P.
2024 Dec  4.  Soundness-Preserving Fusion of Modal Logics in Coq. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :