@inproceedings{EIP9e,
title = { {Prenex Separation Logic with One Selector Field} },
author = {Echenim, Mnacho and Iosif, Radu and Peltier, Nicolas},
month = {Aug},
year = {2019},
booktitle = {{Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference}},
address = {London, United Kingdom},
pages = {409-427},
team = {RSD, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02323468/file/paper_15.pdf},
hal_id = {hal-02323468},
hal_version = {v1},
}
