@inproceedings{YaOh2002,
   author = {Hongseok Yang and Peter W. O'Hearn},
   title = {A Semantic Basis for Local Reasoning},
   booktitle = {Foundataions of Software Science and Computation Structures},
   address = {Grenoble, France},
   month = {April},
   year = {2002},
   format = {ps.gz pdf},
   category = {separation-logic conference},
}