Strong-separation Logic. - PAGEL, JENS; ZULEGER, FLORIAN (ACM Transactions on Programming Languages & Systems, 2022)