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