Pimentel, Elaine.
" Proof systems for Geometric theories (PROGEO)" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (26 agosto 2020)