@inproceedings{CYO01,
  title = "Computability and Complexity Results for a Spatial Assertion Language for Data Structures",
  author = "Cristiano Calcagno and Hongseok Yang and Peter W. O'Hearn",
  year = "2001",
  booktitle = "Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science",
  isbn = "3-540-43002-4",
  month = "December",
  pages = "108--119",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/hongseok.yang/paper/decidability.ps",
  volume = "2245",
}