C. Frei and M. Widmer, “Schanuel’s theorem for heights defined via extension fields”, Annali Scienze, vol. 15, no. special, pp. 355-398, Feb. 2016.