@inproceedings{GN04,
  author =	 "Sumit Gulwani and Bill McCloskey and Ashish Tiwari",
  title =	 "Lifting Abstract Interpreters to Quantified Logical Domains",
  booktitle =	 "35th ACM Symposium on Principles of Programming Languages",
  publisher =    "ACM",
  pages =        "235--246",
  month =	 jan,
  year =	 "2008",
}