Undecidability of Propositional Separation Logic and Its Neighbours.

James Brotherston, Max I. Kanovich

Browse the full LICS paper archive.