Cerioli, Márcia, 		Suguitani, Leandro, E 		Viana, Jorge.
" Natural Deduction System for the Logic of Binary Relations Based on the Algebraic Tradition" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (26 agosto 2020)