Renato Leme, Giorgio Venturi, and Bruno Lopes. 2022.
 Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic. In <em>Proceedings of the 3rd Brazilian Workshop of Logic</em>, July 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 25-32. DOI: <a href="https://doi.org/10.5753/wbl.2022.223071">https://doi.org/10.5753/wbl.2022.223071</a>.