@misc{ Prequel,
  note = {available at http://www.cs.toronto.edu/fbacchus/sat.html},
  url = {prequel.pdf},
  year = {2006},
  author = {H. Samulowitz and J. Davies and F. Bacchus},
  title = {QBF Preprocessor Prequel}
}