Separating classes in the exponential-time hierarchy from classes in PH
scientific article; zbMATH DE number 1058510