Stéphane Demri Étienne Lozes Alessio Mansutti Internal Calculi for Separation Logics. 19:1-19:18 2020 CSL https://doi.org/10.4230/LIPIcs.CSL.2020.19 conf/csl/2020 db/conf/csl/csl2020.html#DemriLM20