@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},
  SERIES    = { LNCS },
  NUMBER    = { 6015 },
  PAGES     = { 236--250 }
}