Undecidability of propositional separation logic and its neighbours (0)

by J Brotherston, M Kanovich
Venue:Journal of the ACM