If deterministic and nondeterministic space complexities are equal for log log n, then they are also equal for log n
scientific article; zbMATH DE number 4149547