EasyChair Smart Slide
On the Expressiveness of a Logic of Separated Relations
On the Expressiveness of a Logic of Separated Relations