@inproceedings{ SBSAT2006,
  url = {SBSAT2006.pdf}
}
,
  booktitle = {Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT 2006), Lecture Notes in Computer Science 2919}
}
,
  title = {Binary Clause Reasoning in QBF}
}
,
  year = {2006}
}
,
  author = {H. Samulowitz and F. Bacchus}
}