Cerioli, M., 		Suguitani, L., & 		Viana, J.
(2020).
Natural Deduction System for the Logic of Binary Relations Based on the Algebraic Tradition.
In <em>Anais do I Workshop Brasileiro de Lógica</em>, (pp. 49-56). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11458