Mnacho Echenim, Radu Iosif, Nicolas Peltier. Prenex Separation Logic with One Selector Field.
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, 2019, London, United Kingdom. pp.409-427,
⟨10.1007/978-3-030-29026-9_23⟩.
⟨hal-02323468⟩