@inproceedings{CHOPW11,
  title = "Tractable Reasoning in a Fragment of Separation Logic.",
  author = "Byron Cook and Christoph Haase and Joel Ouaknine and Matthew Parkinson and James Worrell",
  year = "2011",
  booktitle = "Proceedings of the 22nd International Conference on Concurrency Theory ({CONCUR'11})",
  editor = "Joost-Pieter Katoen and Barbara K\"onig",
  location = "Aachen, Germany",
  pages = "235--249",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6901",
  doi = "10.1007/978-3-642-23217-6_16",
}