Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space (1990)

by Y Gurevich, S Shelah
Venue:Journal of the ACM