@inproceedings{RIS7,
title = { Reasoning in the {Bernays-Sch{\"{o}}nfinkel-Ramsey} Fragment of Separation Logic },
author = {Reynolds, Andrew and Iosif, Radu and Serban, Cristina},
year = {2017},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
crossref = {DBLP:conf/vmcai/2017},
pages = {462--482},
team = {RSD, axe_Mohytos},
timestamp = {Wed, 24 May 2017 08:30:31 +0200},
biburl = {https://dblp.org/rec/bib/conf/vmcai/ReynoldsIS17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
