@techreport{CaYaOh2001,
   author = {Cristiano Calcagno and Hongseok Yang and Peter O'Hearn},
   title = {Computability and Complexity Results for a Spatial Assertion Language for Data Structures},
   type = {Technical Memorandum},
   number = {ROPAS-2001-13},
   category = {tech-memo},
   institution = {Research On Program Analysis System, Korea Advanced Institute of Science and Technology},
   month = {May},
   year = {2001},
   url = {http://ropas.snu.ac.kr/lib/dock/CaYaOh2001.ps},
   format = {ps},
}