Polynomial Space and Transitive Closure
Ronald V. Book · SIAM Journal on Computing · 1979
A characterization of PSPACE in terms of the regular sets and certain algebraic closure operations is developed. It is shown that NP = PSPACE if and only if NP is closed under a form of the transitive closure operation.