Osamu Watanabe Shouwen Tang On Polynomial Time Turing and Many-One Completeness in PSPACE. 15-23 1989 Structure in Complexity Theory Conference db/conf/coco/coco89.html#WatanabeT89