Pimentel, E.
(2020).
Proof systems for Geometric theories (PROGEO).
In <em>Anais do I Workshop Brasileiro de Lógica</em>, (pp. 57-64). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11459