Silveira, A., 		Ribeiro, R., 		Nunes, M., 		Torrens, P., & 		Roggia, K.
2022 Oct  3.  A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :