@inproceedings{GT07a,
  author =	 "Sumit Gulwani and Ashish Tiwari",
  title =	 "Computing Procedure Summaries for Interprocedural Analysis",
  booktitle =	 "The 16th European Symposium on Programming",
  publisher =	 "Springer",
  month =	 mar,
  year =	 "2007",
}