@InProceedings{Mehta:CADE03-121,
  author =       "Farhad Mehta and Tobias Nipkow",
  title =        "Proving Pointer Programs in Higher-Order Logic",
  year =         "2003",
  pages =        "121--135",
  ee =           "http://springerlink.metapress.com/content/1pekxdnlc0hv9uj7",
  editor =       "Franz Baader",
  booktitle =    "Automated Deduction - {CADE}-19, 19th International
                 Conference on Automated Deduction Miami Beach, {FL},
                 {USA}, July 28 -- August 2, 2003, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "2741",
  ISBN =         "3-540-40559-3",
}