Cite QBFLIB

There are no technical reports or published papers to cite about QBFLIB (at least not yet!). Therefore, for the time being, the best way of citing QBFLIB is using the following BiBTeX entry (or something similar):

@inproceedings{qbfeval2006,
  title={The QBFEVAL web portal},
  author={Narizzano, Massimo and Pulina, Luca and Tacchella, Armando},
  booktitle={Logics in Artificial Intelligence},
  pages={494--497},
  year={2006},
  publisher={Springer Berlin Heidelberg}
}
@misc{qbflib,
author = "E. Giunchiglia and M. Narizzano and L. Pulina and A. Tacchella",
title = "{Quantified Boolean Formulas satisfiability library (QBFLIB)}",
note = "\url{www.qbflib.org}",
year = "2005"
}