Expressive completeness of separation logic with two variables and no separating conjunction.

Stphane Demri, Morgan Deters

Browse the full CSL paper archive.