EasyChair Smart Slide
An Entailment Checker for Separation Logic with Inductive Definitions
An Entailment Checker for Separation Logic with Inductive Definitions