Stéphane Demri Raul Fervari On the Complexity of Modal Separation Logics. 179-198 2018 Advances in Modal Logic http://www.aiml.net/volumes/volume12/Demri-Fervari.pdf conf/aiml/2018 db/conf/aiml/aiml2018.html#DemriF18