PSPACE = NC1 - Chandra, Kozen, Stockmeyer - Alternation

Cai-Furst - PSPACE computable with small bottleneck + clock

Bovet-Crescenzi-Silvestri - Leaf Languages

Hertrampf-Lautemann-Schwentick-Vollmer-Wagner - If leaf language with f.a. then PSPACE