Two Tapes are Better than One for Nondeterministic Machines

Pavol Duris, Zvi Galil

Browse the full STOC paper archive.