Pagel, Zuleger, 2021. Strong-Separation Logic.