Leme, R., 		Venturi, G., & 		Lopes, B.
2022 jul 31.  Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :