% @string{uai=" Conference on Uncertainty in Artificial Intelligence"}
% @string{uai07="Proceedings of UAI-07: 23rd" # uai}

@string{uai=" UAI"}
@string{uai07="23rd" # uai}


@inproceedings{kss07:covers,
  author={Kroc, Lukas and Sabharwal, Ashish and Selman, Bart},
  title={Survey Propagation Revisited},
  booktitle=uai07,
  month=jul,
  year=2007,
  address={Vancouver, BC},
  pages={217-226}}