@proceedings{qbf16,
  editor    = {Florian Lonsing and
               Martina Seidl},
  title     = {Proceedings of the 4th International Workshop on Quantified Boolean
               Formulas {(QBF} 2016) co-located with 19th International Conference
               on Theory and Applications of Satisfiability Testing {(SAT} 2016),
               Bordeaux, France, July 4, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1719},
  publisher = {CEUR-WS.org},
  year      = {2016},
}