M. Cerioli, L. Suguitani, and J. Viana.
"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>, Evento Online, 2020, pp. 49-56, doi: <a href="https://doi.org/10.5753/wbl.2020.11458">https://doi.org/10.5753/wbl.2020.11458</a>.