Reasoning in the Bernays-Schnfinkel-Ramsey Fragment of Separation Logic.

Andrew Reynolds, Radu Iosif, Cristina Serban

Browse the full VMCAI paper archive.