Relationships between nondeterministic and deterministic tape complexities (1970)

by W J Savitch
Venue:J. Computer and System Sciences