Silveira, Ariel, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, and Karina Roggia.
" A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq." <em>Anais do XXVI Simpósio Brasileiro de Linguagens de Programação,
Uberlândia, 2022</em>. SBC, 2022,  
pp.1–7.