@InProceedings{Brotherston-Distefano-Petersen:11,
  author    = "James Brotherston and Dino Distefano and Rasmus L.~Petersen",
  title     = "Automated Cyclic Entailment Proofs in Separation Logic",
  booktitle = "Proceedings of {CADE-23}",
  publisher = "Springer",
  series    = "LNAI",
  pages     = "131--146",
  year      = 2011
}