What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? - Tanguy Bozec; Nicolas Peltier; Quentin Petitjean; Mihaela Sighireanu (IJCAR (2), 2024)