Cerioli, Márcia, 		Suguitani, Leandro, AND 		Viana, Jorge.
" Natural Deduction System for the Logic of Binary Relations Based on the Algebraic Tradition" <em>Proceedings of the Brazilian Workshop of Logic (WBL)</em> [Online], (26 August 2020)