@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 }