@article{biabduction-jacm11,
  title = "Compositional Shape Analysis by means of Bi-abduction",
  author = "Cristiano Calcagno and Dino Distefano and Peter W. O’Hearn and Hongseok Yang",
  year = "2011",
  journal = "Journal of the ACM",
  note = "(To appear)",
}