Leme, R., 		Venturi, G., & 		Lopes, B.
(2022).
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>, (pp. 25-32). Porto Alegre: SBC.
doi:10.5753/wbl.2022.223071