Cuconato, B., & 		Haeusler, E.
2025 Dec  3.  A Proof of the De Zolt Postulate in Three-Dimensional Space. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :