Relationship between nondeterministic and deterministic tape complexities (1970)

by W J Savitch
Venue:Journal of Computer and System Sciences