@inproceedings{CaYaOh2001a,
   author = {Cristiano Calcagno and Hongseok Yang and Peter W. O'Hearn},
   title = {Computability and Complexity Results for a Spatial Assertion Language for Data Structures},
   booktitle = {Foundations of Software Technology and Theoretical Computer Science},
   address = {Bangalore, India},
   month = {December},
   year = {2001},
   format = {ps.gz pdf},
   category = {conference separation-logic},
}