@InProceedings{GTN04,
  author =	 "Sumit Gulwani and Ashish Tiwari and George C. Necula",
  title =	 "Join algorithms for the theory of uninterpreted functions",
  booktitle =	 "24th Conference on Foundations of Software Technology and Theoretical Computer Science",
  publisher =	 "Springer-Verlag",
  series =       "LNCS",
  volume =       "3328",
  month =	 dec,
  year =	 "2004",
}