B. Cuconato and E. Haeusler.
" A Proof of the De Zolt Postulate in Three-Dimensional Space", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 225-241.