Теорема полуобильности для слабых лог-многообразий Фано

В работе дается доказательство полуобильности дивизора $-(K_X+S)$ для пары $(X,S)$ с чисто лог-терминальными $\mathbb Q$-факториальными особенностями, где $X$ – трехмерное проективное нормальное алгебраическое многообразие, $S\subset X$ – нормальная поверхность, дивизор $-(K_X+S)$ численно эффективен и объемен.
Библиография: 8 названий.