Pimentel, E.
2020 ago 26.  Proof systems for Geometric theories (PROGEO). Anais do Workshop Brasileiro de Lógica (WBL). [Online] :