Two Tapes are Better than One for Nondeterministic Machines

Pavol Duris, Zvi Galil. Two Tapes are Better than One for Nondeterministic Machines. SIAM Journal on Computing, 13(2):219-227, 1984.

Abstract

Abstract is missing.