@inproceedings{TuchK-05,
  author =       {Harvey Tuch and Gerwin Klein},
  title =        {A Unified Memory Model for Pointers},
  booktitle =    {12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12)},
  year =      {2005},
  editor =    {Geoff Sutcliffe and Andrei Voronkov},
  address =   {Jamaica},
  month =     Dec,
  pages =     {474--488},
  series =    {Lecture Notes in Computer Science},
  volume =    {3835},
}