A. Silveira, R. Ribeiro, M. Nunes, P. Torrens, and K. Roggia.
" A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq", in <em>Proceedings of the 26th Brazilian Symposium on Programming Languages</em>, Uberlândia, 2022, pp. 1–7.