Cerioli, Márcia, Leandro Oliva Suguitani, and Jorge Petrúcio Viana.
"Natural Deduction System for the Logic of Binary Relations Based on the Algebraic Tradition." <em>Anais do I Workshop Brasileiro de Lógica,
Evento Online, 2020</em>. SBC, 2020,  
pp.49-56.