Silveira, Ariel, 		Ribeiro, Rodrigo, 		Nunes, Miguel, 		Torrens, Paulo, E 		Roggia, Karina.
" A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (3 outubro 2022)