@Article{         DBLP:journals/eccc/AtseriasO12,
  Author        = "Atserias, Albert and Oliva, Sergi",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-12-18 11:26:12 +0000",
  date-modified = "2012-12-18 11:26:12 +0000",
  ee            = "http://eccc.hpi-web.de/report/2012/096",
  Journal       = "Electronic Colloquium on Computational Complexity (ECCC)",
  Pages         = "96",
  Title         = "Bounded-width QBF is PSPACE-complete",
  Volume        = "19",
  Year          = "2012",
  bdsk-url-1    = "http://eccc.hpi-web.de/report/2012/096/",
  File          = "Bounded-width QBF is PSPACE-complete - Atserias, Oliva (0) (0) - a - a - a.pdf"
}

@Article{ DBLP:journals/eccc/AtseriasO12, Author = "Atserias, Albert and Oliva, Sergi", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-12-18 11:26:12 +0000", date-modified = "2012-12-18 11:26:12 +0000", ee = "http://eccc.hpi-web.de/report/2012/096", Journal = "Electronic Colloquium on Computational Complexity (ECCC)", Pages = "96", Title = "Bounded-width QBF is PSPACE-complete", Volume = "19", Year = "2012", bdsk-url-1 = "http://eccc.hpi-web.de/report/2012/096/", File = "Bounded-width QBF is PSPACE-complete - Atserias, Oliva (0) (0) - a - a - a.pdf" }