Pimentel, Elaine.
"Proof systems for Geometric theories (PROGEO)." <em>Anais do I Workshop Brasileiro de Lógica,
Evento Online, 2020</em>. SBC, 2020,  
pp.57-64.