AP (complexity)
Redirect to:
PSPACE