Cuconato, B., & 		Haeusler, E.
2025 dez  3.  A Proof of the De Zolt Postulate in Three-Dimensional Space. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :