A Note on some Simultaneous Relations among Time, Space, and Reversal for Single Work Tape Nondeterministic Turing Machines Etsuro Moriya Shigeki Iwata Takumi Kasai 179-185 Information and Control August/September 1986 70 2/3 db/journals/iandc/iandc70.html#MoriyaIK86