Shigeki Iwata Takumi Kasai Etsuro Moriya Relations among Simultaneous Complexity Classes of Nondeterministic and Alternating Turing Machines. 267-278 1993 30 Acta Inf. 3 db/journals/acta/acta30.html#IwataKM93