Leme, Renato, 		Venturi, Giorgio, AND 		Lopes, Bruno.
" Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic" <em>Proceedings of the Brazilian Workshop of Logic (WBL)</em> [Online], (31 July 2022)