Cerioli, M., 		Suguitani, L., & 		Viana, J.
2020 ago 26.  Natural Deduction System for the Logic of Binary Relations Based on the Algebraic Tradition. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :