Silveira, A., 		Ribeiro, R., 		Nunes, M., 		Torrens, P., & 		Roggia, K.
(2022).
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.
In <em>Anais do XXVI Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 1–7). Porto Alegre: SBC.