Frei, C., and M. Widmer. “Schanuel’s Theorem for Heights Defined via Extension Fields”. ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, vol. 15, no. special, Feb. 2016, pp. 355-98, doi:10.2422/2036-2145.201401_009.