Pavol Duris, Zvi Galil. Two Tapes are Better than One for Nondeterministic Machines. In Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, 5-7 May 1982, San Francisco, California, USA. pages 1-7, ACM, 1982.
Abstract is missing.