The Entailment Problem for Separation Logic with Overlaid Structures.

Lucas Bueri, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu

Browse the full MFCS paper archive.