TY  - RPRT
TI  - Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic
AU  - Andrew Reynolds
AU  - Radu Iosif
AU  - Cristina Serban
PY  - 2016
UR  - https://arxiv.org/abs/1610.04707
ID  - 1610.04707
ER  -