@inproceedings{BBS+05,
  author    = "Sergey Berezin and Clark Barrett and Igor Shikanian and Marsha Chechik and Arie Gurfinkel and David L. Dill",
  title     = "A Practical Approach to Partial Functions in {CVC L}ite",
  booktitle = "Selected Papers from the Workshops on Disproving
               and the Second International Workshop on Pragmatics
               of Decision Procedures (PDPAR '04)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "125(3)",
  publisher = "Elsevier",
  editor    = "Wolfgang Ahrendt and Peter Baumgartner and Hans de Nivelle and Silvio Ranise and Cesare Tinelli",
  pages     = "13--23",
  month     = jul,
  year      = 2005,
  note      = "Cork, Ireland"
}