IP=PSPACE (interactive proof=polynomial space) | IEEE Conference Publication | IEEE Xplore