Frei, C., & Widmer, M. (2016). Schanuel’s theorem for heights defined via extension fields. ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, 15(special), 355-398. https://doi.org/10.2422/2036-2145.201401_009