Bounded-width QBF is PSPACE-complete.

Albert Atserias, Sergi Oliva

Browse the full STACS paper archive.