Refinements of the nondeterministic time and space hierarchies | IEEE Conference Publication | IEEE Xplore