@InProceedings{GN04:path,
  author =       "Sumit Gulwani and George C. Necula",
  title =        "Path-sensitive Analysis for Linear Arithmetic and Uninterpreted Functions",
  booktitle =    "11th Static Analysis Symposium",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  volume =       "3148",
  pages =        "328--343",
  month =        aug,
  year =         "2004",
}