TY  - RPRT
TI  - Internal Calculi for Separation Logics
AU  - Stéphane Demri
AU  - Etienne Lozes
AU  - Alessio Mansutti
PY  - 2019
UR  - https://arxiv.org/abs/1910.05016
ID  - 1910.05016
ER  -