Fixed-Parameter Hierarchies inside PSPACE.

Guoqiang Pan, Moshe Y. Vardi

Browse the full LICS paper archive.