Pimentel, E.
2020 Aug 26.  Proof systems for Geometric theories (PROGEO). Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :