A relation between space, return and dual return complexities
Space Complexity of Nondeterministic Turing Machines
scientific article; zbMATH DE number 3637283