Venkatesh Radhakrishnan
State Univ. of New York at Albany, Albany
The complexity of approximating pspace-complete problems for hierarchical specifications
Nordic Journal of Computing