@inproceedings{biabduction-popl09,
  title = "Compositional Shape Analysis by means of Bi-abduction",
  author = "Cristiano Calcagno and Dino Distefano and Peter W. O’Hearn and Hongseok Yang",
  year = "2009",
  address = "Savannah, USA",
  booktitle = "Proceedings of the 36th ACM Symposium on Principles of Programming Languages",
  isbn = "978-1-60558-379-2",
  month = "January",
  pages = "289--300",
  publisher = "ACM",
}