Cuconato, Bruno, E 		Haeusler, Edward.
" A Proof of the De Zolt Postulate in Three-Dimensional Space" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)