@misc{indiciae0a4e57bfaea8,
  title = {Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas},
  author = {E. Giunchiglia and M. Narizzano and A. Tacchella},
  year = {2011},
  doi = {10.1613/jair.1959},
  url = {https://arxiv.org/abs/1111.0860},
  note = {Source identifier: 1111.0860}
}