Nominal Unification. - Guilherme Borges Brandão; Thomas Ammer; Daniele Nantes Sobrinho; Mauricio Ayala-Rincón; Christian Urban; Maribel Fernández; Mohammad Abdulaziz (Arch. Formal Proofs, 2026)