

@inproceedings{Dockins2009,
author = {Dockins, Robert and Hobor, Aquinas and Appel, Andrew W.},
pages = {161--177},
title = {{A Fresh Look at Separation Algebras and Share Accounting}},
booktitle = {Asian Symposium on Programming Languages and Systems (APLAS)},
editor    = {Zhenjiang Hu},
year = {2009}
}

@inproceedings{Calcagno2007,
author = {Calcagno, Cristiano and O'Hearn, Peter W. and Yang, Hongseok},
pages = {366--375},
title = {{Local Action and Abstract Separation Logic}},
booktitle = {Logic in Computer Science (LICS)},
year = {2007}
}

@inproceedings{SchwerhoffSummers15,
 author = {M. Schwerhoff and A. J. Summers},
 title = {{Lightweight Support for Magic Wands in an Automatic Verifier}},
 booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
 pages = {614--638},
 series = {LIPIcs},
 year = {2015},
 volume = {37},
 editor = {J. T. Boyland},
 publisher = {Schloss Dagstuhl},
}

@InProceedings{Dardinier22,
author="Dardinier, Thibault
and Parthasarathy, Gaurav
and Weeks, No{\'e}
and M{\"u}ller, Peter
and Summers, Alexander J.",
editor="Shoham, Sharon
and Vizel, Yakir",
title="Sound Automation of Magic Wands",
booktitle="Computer Aided Verification",
year="2022",
publisher="Springer International Publishing",
address="Cham",
pages="130--151",
isbn="978-3-031-13188-2"
}

@inproceedings{Reynolds02a,
	author = {J. C. Reynolds},
	title = {{Separation Logic: A Logic for Shared Mutable Data Structures}},
	booktitle = {Logic in Computer Science (LICS)},
	Publisher = {IEEE},
	pages     = {55--74},
	year = {2002}
}
