TY - RPRT TI - The complexity of approximating PSPACE-Complete problems for hierarchical specifications AU - Madhav V. Marathe AU - Harry B. Hunt III AU - S. S. Ravi PY - 1994 UR - https://arxiv.org/abs/math/9409225 ID - math/9409225 ER -