@InProceedings{BBSCGD04,
  author =       {Clark Barrett and Sergey Berezin 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 = {{PDPAR}'04 Workshop, Cork, Ireland},
  year =         {2004},
  month =        jul,
}