Bounded-width QBF is PSPACE-complete | Publicación