EasyChair Smart Slide
An SMT-Lib Theory of Heaps
An SMT-Lib Theory of Heaps