EasyChair Smart Slide
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard