Silveira, A., 		Ribeiro, R., 		Nunes, M., 		Torrens, P., & 		Roggia, K.
2022 out  3.  A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :