@InProceedings{Podelski:COSMICAH05-16,
  author =       "Andreas Podelski and Ina Schaefer",
  title =        "Local Reasoning for Termination",
  pages =        "16--30",
  editor =       "Dino Distefano and Radu Iosif and Peter O{'}Hearn",
  booktitle =    "{COSMICAH} 2005: Workshop on Verification of
                 Concurrent Systems with Dynamic Allocated Heaps (a
                 Satellite Event of ICALP 2005) -- Informal
                 Proceedings",
  year =         "2005",
  month =        jul,
  URL =          "http://www.dcs.qmul.ac.uk/tech_reports/RR-05-04.pdf",
  series =       "Research Reports",
  number =       "RR-05-04",
  institution =  "Department of Computer Science, Queen Mary, University
                 of London, Mile End Road, London E1 4NS, UK",
  ee =           "http://www.dcs.qmul.ac.uk/researchgp/common/display.php?b=28787&type=99",
}