@InProceedings{Heizmann:POPL2010-471,
  author =       "Matthias Heizmann and Jochen Hoenicke and Andreas
                 Podelski",
  title =        "Nested interpolants",
  pages =        "471--482",
  ee =           "http://dx.doi.org/10.1145/1706299.1706353",
  editor =       "Manuel V. Hermenegildo and Jens Palsberg",
  booktitle =    "Principles of Programming Languages (POPL 2010)",
  year =         "2010",
  month =        jan,
  address =      "Madrid, Spain",
  publisher =    "ACM",
}