Cuconato, B., & 		Haeusler, E.
(2025).
 A Proof of the De Zolt Postulate in Three-Dimensional Space.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 225-241). Porto Alegre: SBC.