%% -*-BibTeX-*-


@Misc{pseudoboolean,
  key          = "pseudoboolean",
  title        = "{P}seudo-{B}oolean {C}ompetition 2010",
  year         = "2010",
  note         = "{http://www.cril.univ-artois.fr/PB10/}",
}