Demri, Stéphane and
Deters, Morgan. 2014.
“The Effects of Modalities in Separation Logics (Extended Abstract).” in
Advances in Modal Logic, volume X, edited by Rajeev
Goré, Barteld P.
Kooi, and Ágnes
Kurucz, pp. 134–138. London: King’s College Publications.