@article{OHPyYa2003,
   author = {Peter W. O'Hearn and David Pym and Hongseok Yang},
   title = {Possible Worlds and Resources: The Semantics of BI},
   journal = {Theoretical Computer Science},
   note = {(to appear)},
   format = {ps.gz},
   category = {journal separation-logic},
}