@inproceedings{qpup-CP12,
  author    = "Van Gelder, A.",
  title     = "Contributions to the Theory of Practical
		Quantified Boolean Formula Solving",
  booktitle = "Proc.\ CP (LNCS 7514)",
  pages     = "647--673",
  address   = "Quebec City",
  publisher = "Springer",
  year      = "2012"
}