QMA/qpoly /spl sube/ PSPACE/poly: de-Merlinizing quantum protocols | IEEE Conference Publication | IEEE Xplore