3 ms·There is a good discussion of IP=PSPACE there.by jrp 17y agoThere is a good discussion of IP=PSPACE there.