@inproceedings{YO02,
  title = "A Semantic Basis for Local Reasoning",
  author = "Hongseok Yang and Peter W. O'Hearn",
  year = "2002",
  booktitle = "Proceedings of the 5th Conference on Foundations of Software Science and Computation Structures",
  isbn = "3-540-43366-X",
  month = "April",
  pages = "402--416",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/basis.ps",
  volume = "2303",
}