@inproceedings{EIP9g,
title = { {The Bernays-Sch{\"{o}}nfinkel-Ramsey Class of Separation Logic on Arbitrary Domains} },
author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
month = {Apr},
year = {2019},
booktitle = {{Foundations of Software Science and Computation Structures (FOSSACS) - 22nd International Conference}},
address = {Prague, Czech Republic},
pages = {242-259},
team = {RSD, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02094154/file/paper_9%20%281%29.pdf},
hal_id = {hal-02094154},
hal_version = {v1},
}
