@inproceedings{whd09,
  AUTHOR    = { Byron Cook and Daniel Kroening and Philipp R\"ummer and Christoph M. Wintersteiger},
  TITLE     = { Ranking Function Synthesis for Bit-Vector Relations },
  BOOKTITLE = { Proceedings of TACAS 2010 },
  YEAR      = { 2010 },
  PUBLISHER = { Springer},
  NOTE      = { to appear}
}