EasyChair Smart Slide
Labelled Cyclic Proofs for Separation Logic
Labelled Cyclic Proofs for Separation Logic