@article{EIP0c,
title = { The Bernays-Sch{\"{o}}nfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates },
author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
year = {2020},
journal = {{ACM} Trans. Comput. Log.},
number = {3},
pages = {19:1--19:46},
volume = {21},
team = {RSD, axe_Mohytos},
timestamp = {Thu, 02 Jul 2020 08:35:40 +0200},
biburl = {https://dblp.org/rec/journals/tocl/EchenimIP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
