tn-shi - PARTY in PSPACE

PARTY in PSPACE