Mnacho Echenim, Radu Iosif, Nicolas Peltier. The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates. ACM Trans. Comput. Log., 21(3), 2020. [doi]
@article{EchenimIP20-0, title = {The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates}, author = {Mnacho Echenim and Radu Iosif and Nicolas Peltier}, year = {2020}, doi = {10.1145/3380809}, url = {https://doi.org/10.1145/3380809}, researchr = {https://researchr.org/publication/EchenimIP20-0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {21}, number = {3}, }