Relationships between nondeterministic and deterministic tape complexities (1970)

by W J Savitch
Venue:J. Comput. System Sci