Shigeki Iwata Takumi Kasai Simultaneous (Poly-Time, Log-Space) Lower Bounds. 325-329 1987 54 Theor. Comput. Sci. db/journals/tcs/tcs54.html#IwataK87