Nakai–Moishezon ampleness criterion for real line bundles - Fujino, Osamu; Miyamoto, Keisuke (Mathematische Annalen, 2023)