R. Leme, G. Venturi, and B. Lopes.
"Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic", in <em>Anais do III Workshop Brasileiro de Lógica</em>, Niterói, 2022, pp. 25-32, doi: <a href="https://doi.org/10.5753/wbl.2022.223071">https://doi.org/10.5753/wbl.2022.223071</a>.